home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| MultiMate Document (document/multiMate)
| ext
| Unsupported |
| 1%
| dexvert
| WANG Integrated Word Processor (document/wangIWP)
| ext
| Unsupported |
| 1%
| dexvert
| Excellence! Document (document/excellenceDocument)
| ext
| Unsupported |
| 1%
| dexvert
| IBM DisplayWrite Document (document/ibmDisplayWriteDocument)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX 2e document text
| default
| |
| 99%
| file
| LaTeX document text
| default
| |
| 98%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| TrID
| LaTeX 2e document
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 64 6f 63 75 6d 65 6e | 74 63 6c 61 73 73 5b 31 |\documen|tclass[1|
|00000010| 31 70 74 5d 7b 61 72 74 | 69 63 6c 65 7d 0a 5c 6e |1pt]{art|icle}.\n|
|00000020| 65 77 63 6f 6d 6d 61 6e | 64 7b 5c 72 75 6e 6e 69 |ewcomman|d{\runni|
|00000030| 6e 67 74 69 74 6c 65 7d | 7b 53 57 49 2d 50 72 6f |ngtitle}|{SWI-Pro|
|00000040| 6c 6f 67 27 73 20 6c 61 | 74 65 78 32 68 74 6d 6c |log's la|tex2html|
|00000050| 7d 0a 5c 75 73 65 70 61 | 63 6b 61 67 65 7b 70 6c |}.\usepa|ckage{pl|
|00000060| 7d 0a 5c 75 73 65 70 61 | 63 6b 61 67 65 7b 68 74 |}.\usepa|ckage{ht|
|00000070| 6d 6c 7d 0a 5c 6d 61 6b | 65 69 6e 64 65 78 0a 0a |ml}.\mak|eindex..|
|00000080| 5c 74 69 74 6c 65 7b 43 | 6f 6e 76 65 72 74 69 6e |\title{C|onvertin|
|00000090| 67 20 4c 61 54 65 58 20 | 69 6e 74 6f 20 48 54 4d |g LaTeX |into HTM|
|000000a0| 4c 7d 0a 5c 61 75 74 68 | 6f 72 7b 4a 61 6e 20 57 |L}.\auth|or{Jan W|
|000000b0| 69 65 6c 65 6d 61 6b 65 | 72 5c 5c 0a 09 53 57 49 |ielemake|r\\..SWI|
|000000c0| 2c 20 55 6e 69 76 65 72 | 73 69 74 79 20 6f 66 20 |, Univer|sity of |
|000000d0| 41 6d 73 74 65 72 64 61 | 6d 5c 5c 0a 09 52 6f 65 |Amsterda|m\\..Roe|
|000000e0| 74 65 72 73 73 74 72 61 | 61 74 20 31 35 5c 5c 0a |tersstra|at 15\\.|
|000000f0| 09 31 30 31 38 20 57 42 | 7e 7e 41 6d 73 74 65 72 |.1018 WB|~~Amster|
|00000100| 64 61 6d 5c 5c 0a 09 45 | 2d 6d 61 69 6c 3a 20 5c |dam\\..E|-mail: \|
|00000110| 65 6d 61 69 6c 7b 6a 61 | 6e 40 73 77 69 2e 70 73 |email{ja|n@swi.ps|
|00000120| 79 2e 75 76 61 2e 6e 6c | 7d 7d 0a 0a 5c 62 65 67 |y.uva.nl|}}..\beg|
|00000130| 69 6e 7b 64 6f 63 75 6d | 65 6e 74 7d 0a 0a 5c 6d |in{docum|ent}..\m|
|00000140| 61 6b 65 74 69 74 6c 65 | 0a 0a 5c 62 65 67 69 6e |aketitle|..\begin|
|00000150| 7b 61 62 73 74 72 61 63 | 74 7d 0a 54 68 69 73 20 |{abstrac|t}.This |
|00000160| 64 6f 63 75 6d 65 6e 74 | 20 64 65 73 63 72 69 62 |document| describ|
|00000170| 65 73 20 61 20 50 72 6f | 6c 6f 67 20 70 61 63 6b |es a Pro|log pack|
|00000180| 61 67 65 20 66 6f 72 20 | 74 72 61 6e 73 6c 61 74 |age for |translat|
|00000190| 69 6e 67 20 4c 61 54 65 | 58 20 69 6e 74 6f 20 48 |ing LaTe|X into H|
|000001a0| 54 4d 4c 0a 64 6f 63 75 | 6d 65 6e 74 73 2e 20 49 |TML.docu|ments. I|
|000001b0| 74 20 69 73 20 6e 6f 74 | 20 61 20 72 65 69 6d 70 |t is not| a reimp|
|000001c0| 6c 65 6d 65 6e 74 61 74 | 69 6f 6e 20 6f 66 20 5c |lementat|ion of \|
|000001d0| 70 72 6f 67 72 61 6d 7b | 6c 61 74 65 78 32 68 74 |program{|latex2ht|
|000001e0| 6d 6c 7d 20 69 6e 0a 50 | 72 6f 6c 6f 67 2e 20 49 |ml} in.P|rolog. I|
|000001f0| 6e 73 74 65 61 64 20 6f | 66 20 61 69 6d 69 6e 67 |nstead o|f aiming|
|00000200| 20 61 74 20 74 68 65 20 | 70 72 6f 64 75 63 74 69 | at the |producti|
|00000210| 6f 6e 20 6f 66 20 61 20 | 48 54 4d 4c 20 64 6f 63 |on of a |HTML doc|
|00000220| 75 6d 65 6e 74 20 74 68 | 61 74 0a 6c 6f 6f 6b 73 |ument th|at.looks|
|00000230| 20 61 73 20 63 6c 6f 73 | 65 6c 79 20 61 73 20 70 | as clos|ely as p|
|00000240| 6f 73 73 69 62 6c 65 20 | 74 6f 20 74 68 65 20 6f |ossible |to the o|
|00000250| 72 69 67 69 6e 61 6c 20 | 70 72 69 6e 74 65 64 20 |riginal |printed |
|00000260| 76 65 72 73 69 6f 6e 20 | 77 69 74 68 20 61 73 0a |version |with as.|
|00000270| 6c 69 74 74 6c 65 20 68 | 61 73 73 6c 65 20 61 73 |little h|assle as|
|00000280| 20 70 6f 73 73 69 62 6c | 65 2c 20 69 74 20 61 69 | possibl|e, it ai|
|00000290| 6d 73 20 74 68 65 20 73 | 69 6d 75 6c 74 61 6e 65 |ms the s|imultane|
|000002a0| 6f 75 73 20 6d 61 69 6e | 74 65 6e 61 6e 63 65 20 |ous main|tenance |
|000002b0| 6f 66 20 61 0a 70 61 70 | 65 72 20 61 6e 64 20 57 |of a.pap|er and W|
|000002c0| 45 42 20 76 65 72 73 69 | 6f 6e 20 6f 66 20 61 20 |EB versi|on of a |
|000002d0| 64 6f 63 75 6d 65 6e 74 | 2e 0a 0a 54 68 65 20 6d |document|...The m|
|000002e0| 61 69 6e 20 76 69 72 74 | 75 65 20 6f 66 20 74 68 |ain virt|ue of th|
|000002f0| 69 73 20 70 61 63 6b 61 | 67 65 20 69 73 20 61 20 |is packa|ge is a |
|00000300| 73 69 6d 70 6c 65 2c 20 | 79 65 74 20 70 6f 77 65 |simple, |yet powe|
|00000310| 72 66 75 6c 2c 20 69 6e | 74 65 72 66 61 63 65 0a |rful, in|terface.|
|00000320| 66 6f 72 20 65 78 74 65 | 6e 64 69 6e 67 20 74 68 |for exte|nding th|
|00000330| 65 20 74 72 61 6e 73 6c | 61 74 6f 72 2e 0a 5c 65 |e transl|ator..\e|
|00000340| 6e 64 7b 61 62 73 74 72 | 61 63 74 7d 0a 0a 5c 74 |nd{abstr|act}..\t|
|00000350| 61 62 6c 65 6f 66 63 6f | 6e 74 65 6e 74 73 0a 0a |ableofco|ntents..|
|00000360| 5c 73 65 63 74 69 6f 6e | 7b 49 6e 74 72 6f 64 75 |\section|{Introdu|
|00000370| 63 74 69 6f 6e 7d 0a 0a | 50 61 70 65 72 20 61 6e |ction}..|Paper an|
|00000380| 64 20 61 20 68 79 70 65 | 72 74 65 78 74 20 62 72 |d a hype|rtext br|
|00000390| 6f 77 73 65 72 20 61 72 | 65 20 64 69 66 66 65 72 |owser ar|e differ|
|000003a0| 65 6e 74 20 6d 65 64 69 | 61 2e 20 46 6f 72 20 76 |ent medi|a. For v|
|000003b0| 61 72 69 6f 75 73 0a 64 | 6f 63 75 6d 65 6e 74 73 |arious.d|ocuments|
|000003c0| 2c 20 69 74 20 69 73 20 | 64 65 73 69 72 61 62 6c |, it is |desirabl|
|000003d0| 65 20 74 6f 20 68 61 76 | 65 20 62 6f 74 68 20 61 |e to hav|e both a|
|000003e0| 20 70 61 70 65 72 20 76 | 65 72 73 69 6f 6e 20 61 | paper v|ersion a|
|000003f0| 6e 64 20 61 20 76 65 72 | 73 69 6f 6e 0a 74 68 61 |nd a ver|sion.tha|
|00000400| 74 20 63 61 6e 20 62 65 | 20 63 6f 6e 73 75 6c 74 |t can be| consult|
|00000410| 65 64 20 74 68 72 6f 75 | 67 68 20 74 68 65 20 57 |ed throu|gh the W|
|00000420| 45 42 20 61 73 20 61 20 | 68 79 70 65 72 74 65 78 |EB as a |hypertex|
|00000430| 74 20 64 6f 63 75 6d 65 | 6e 74 2e 20 46 6f 72 20 |t docume|nt. For |
|00000440| 74 68 65 0a 6c 61 74 74 | 65 72 2c 20 74 68 65 20 |the.latt|er, the |
|00000450| 64 6f 63 75 6d 65 6e 74 | 20 73 68 6f 75 6c 64 20 |document| should |
|00000460| 62 65 20 72 65 70 72 65 | 73 65 6e 74 65 64 20 75 |be repre|sented u|
|00000470| 73 69 6e 67 20 48 54 4d | 4c 2e 20 48 54 4d 4c 20 |sing HTM|L. HTML |
|00000480| 68 6f 77 65 76 65 72 20 | 69 73 0a 6e 6f 74 20 74 |however |is.not t|
|00000490| 68 65 20 69 64 65 61 6c | 20 6c 61 6e 67 75 61 67 |he ideal| languag|
|000004a0| 65 20 66 6f 72 20 6d 61 | 69 6e 74 61 69 6e 69 6e |e for ma|intainin|
|000004b0| 67 20 61 20 64 6f 63 75 | 6d 65 6e 74 3a 0a 0a 5c |g a docu|ment:..\|
|000004c0| 62 65 67 69 6e 7b 69 74 | 65 6d 6c 69 73 74 7d 0a |begin{it|emlist}.|
|000004d0| 20 20 20 20 5c 69 74 65 | 6d 20 5b 4e 6f 74 20 65 | \ite|m [Not e|
|000004e0| 78 74 65 6e 64 61 62 6c | 65 5d 0a 49 74 20 69 73 |xtendabl|e].It is|
|000004f0| 20 6e 6f 74 20 70 6f 73 | 73 69 62 6c 65 20 74 6f | not pos|sible to|
|00000500| 20 64 65 66 69 6e 65 20 | 6d 61 63 72 6f 73 20 69 | define |macros i|
|00000510| 6e 20 48 54 4d 4c 2c 20 | 77 68 69 63 68 20 6d 61 |n HTML, |which ma|
|00000520| 6b 65 73 20 74 68 65 20 | 6d 61 69 6e 74 65 6e 61 |kes the |maintena|
|00000530| 6e 63 65 0a 6f 66 20 64 | 6f 63 75 6d 65 6e 74 73 |nce.of d|ocuments|
|00000540| 20 69 6e 20 48 54 4d 4c | 20 69 74 73 65 6c 66 20 | in HTML| itself |
|00000550| 64 69 66 66 69 63 75 6c | 74 2e 20 48 69 67 68 6c |difficul|t. Highl|
|00000560| 79 20 73 74 72 75 63 74 | 75 72 65 64 20 64 6f 63 |y struct|ured doc|
|00000570| 75 6d 65 6e 74 73 2c 20 | 73 75 63 68 0a 61 73 20 |uments, |such.as |
|00000580| 6d 61 6e 75 61 6c 73 20 | 61 6e 64 20 72 65 70 6f |manuals |and repo|
|00000590| 72 74 73 20 62 65 6e 65 | 66 69 74 20 66 72 6f 6d |rts bene|fit from|
|000005a0| 20 61 20 64 65 73 63 72 | 69 70 74 69 6f 6e 20 69 | a descr|iption i|
|000005b0| 6e 20 74 68 65 20 74 65 | 72 6d 69 6e 6f 6c 6f 67 |n the te|rminolog|
|000005c0| 79 20 6f 66 0a 74 68 65 | 20 64 6f 6d 61 69 6e 2c |y of.the| domain,|
|000005d0| 20 77 68 69 63 68 20 61 | 72 65 20 6c 61 74 65 72 | which a|re later|
|000005e0| 20 74 72 61 6e 73 6c 61 | 74 65 64 20 69 6e 74 6f | transla|ted into|
|000005f0| 20 64 6f 6d 61 69 6e 2d | 69 6e 64 65 70 65 6e 64 | domain-|independ|
|00000600| 65 6e 74 0a 66 6f 72 6d | 61 74 74 69 6e 67 20 63 |ent.form|atting c|
|00000610| 6f 6d 6d 61 6e 64 73 2e | 20 20 46 6f 72 20 65 78 |ommands.| For ex|
|00000620| 61 6d 70 6c 65 2c 20 77 | 68 65 6e 20 77 72 69 74 |ample, w|hen writ|
|00000630| 69 6e 67 20 61 20 50 72 | 6f 6c 6f 67 20 6d 61 6e |ing a Pr|olog man|
|00000640| 75 61 6c 2c 20 69 74 0a | 69 73 20 62 65 74 74 65 |ual, it.|is bette|
|00000650| 72 20 74 6f 20 73 74 61 | 72 74 20 74 68 65 20 64 |r to sta|rt the d|
|00000660| 65 73 63 72 69 70 74 69 | 6f 6e 20 6f 66 20 61 20 |escripti|on of a |
|00000670| 70 72 65 64 69 63 61 74 | 65 20 75 73 69 6e 67 20 |predicat|e using |
|00000680| 61 20 66 6f 72 6d 61 74 | 74 69 6e 67 0a 63 6f 6d |a format|ting.com|
|00000690| 6d 61 6e 64 20 5c 63 6f | 6e 73 74 7b 70 72 65 64 |mand \co|nst{pred|
|000006a0| 69 63 61 74 65 7d 2c 20 | 72 61 74 68 65 72 20 74 |icate}, |rather t|
|000006b0| 68 65 6e 20 64 69 72 65 | 63 74 6c 79 20 75 73 69 |hen dire|ctly usi|
|000006c0| 6e 67 20 74 65 78 74 75 | 61 6c 20 6c 61 79 6f 75 |ng textu|al layou|
|000006d0| 74 0a 70 72 69 6d 69 74 | 69 76 65 73 20 73 75 63 |t.primit|ives suc|
|000006e0| 68 20 61 73 20 6c 69 73 | 74 2c 20 69 74 65 6d 2c |h as lis|t, item,|
|000006f0| 20 66 6f 6e 74 2c 20 65 | 74 63 2e 0a 0a 20 20 20 | font, e|tc... |
|00000700| 20 5c 69 74 65 6d 20 5b | 44 69 66 66 69 63 75 6c | \item [|Difficul|
|00000710| 74 2d 74 6f 2d 72 65 61 | 64 20 73 79 6e 74 61 78 |t-to-rea|d syntax|
|00000720| 5d 0a 54 68 69 73 20 63 | 61 6e 20 61 6c 77 61 79 |].This c|an alway|
|00000730| 73 20 62 65 20 64 65 62 | 61 74 65 64 2c 20 62 75 |s be deb|ated, bu|
|00000740| 74 20 6c 65 74 73 20 73 | 61 79 20 49 20 64 6f 6e |t lets s|ay I don|
|00000750| 27 74 20 6c 69 6b 65 20 | 69 74 2e 0a 0a 20 20 20 |'t like |it... |
|00000760| 20 5c 69 74 65 6d 20 5b | 4e 6f 74 20 73 75 66 66 | \item [|Not suff|
|00000770| 69 63 69 65 6e 74 6c 79 | 20 72 69 63 68 20 74 6f |iciently| rich to|
|00000780| 20 73 70 65 63 69 66 79 | 20 61 20 71 75 61 6c 69 | specify| a quali|
|00000790| 74 79 20 70 61 70 65 72 | 20 64 6f 63 75 6d 65 6e |ty paper| documen|
|000007a0| 74 5d 0a 4e 6f 74 61 62 | 6c 79 20 73 70 61 63 69 |t].Notab|ly spaci|
|000007b0| 6e 67 2c 20 61 6c 69 67 | 6e 6d 65 6e 74 2c 20 6d |ng, alig|nment, m|
|000007c0| 61 74 68 65 6d 61 74 69 | 63 73 20 61 6e 64 20 74 |athemati|cs and t|
|000007d0| 61 62 6c 65 73 20 61 72 | 65 20 6c 65 73 73 20 70 |ables ar|e less p|
|000007e0| 6f 77 65 72 66 75 6c 0a | 74 68 61 6e 20 6f 6e 65 |owerful.|than one|
|000007f0| 20 77 6f 75 6c 64 20 77 | 69 73 68 20 66 6f 72 20 | would w|ish for |
|00000800| 67 65 6e 65 72 61 74 69 | 6e 67 20 61 20 71 75 61 |generati|ng a qua|
|00000810| 6c 69 74 79 20 70 61 70 | 65 72 20 64 6f 63 75 6d |lity pap|er docum|
|00000820| 65 6e 74 2e 0a 5c 65 6e | 64 7b 69 74 65 6d 6c 69 |ent..\en|d{itemli|
|00000830| 73 74 7d 0a 0a 0a 0a 5c | 73 65 63 74 69 6f 6e 7b |st}....\|section{|
|00000840| 4d 61 69 6e 74 61 69 6e | 69 6e 67 20 61 20 73 74 |Maintain|ing a st|
|00000850| 72 75 63 74 75 72 65 64 | 20 64 6f 63 75 6d 65 6e |ructured| documen|
|00000860| 74 7d 0a 0a 54 68 69 73 | 20 74 6f 6f 6c 6b 69 74 |t}..This| toolkit|
|00000870| 20 61 69 6d 73 20 66 69 | 72 73 74 20 6f 66 20 61 | aims fi|rst of a|
|00000880| 6c 6c 20 61 74 20 73 74 | 72 75 63 74 75 72 65 64 |ll at st|ructured|
|00000890| 20 64 6f 63 75 6d 65 6e | 74 73 3a 20 6d 61 6e 75 | documen|ts: manu|
|000008a0| 61 6c 73 2c 0a 74 65 63 | 68 6e 69 63 61 6c 20 72 |als,.tec|hnical r|
|000008b0| 65 70 6f 72 74 20 61 72 | 65 20 65 78 61 6d 70 6c |eport ar|e exampl|
|000008c0| 65 73 2e 20 53 75 63 68 | 20 64 6f 63 75 6d 65 6e |es. Such| documen|
|000008d0| 74 73 20 74 65 6e 64 20 | 74 6f 20 64 65 73 63 72 |ts tend |to descr|
|000008e0| 69 62 65 20 6d 61 6e 79 | 0a 69 6e 73 74 61 6e 63 |ibe many|.instanc|
|000008f0| 65 73 20 6f 66 20 64 6f | 6d 61 69 6e 2d 73 70 65 |es of do|main-spe|
|00000900| 63 69 66 69 63 20 64 61 | 74 61 2e 20 54 68 69 73 |cific da|ta. This|
|00000910| 20 74 6f 6f 6c 6b 69 74 | 20 61 73 73 75 6d 65 73 | toolkit| assumes|
|00000920| 20 74 68 65 20 61 75 74 | 68 6f 72 0a 64 65 66 69 | the aut|hor.defi|
|00000930| 6e 65 73 20 61 20 73 65 | 74 20 6f 66 20 4c 61 54 |nes a se|t of LaT|
|00000940| 65 58 20 6d 61 63 72 6f | 73 20 74 6f 20 6d 61 70 |eX macro|s to map|
|00000950| 20 74 68 65 20 64 6f 6d | 61 69 6e 2d 73 70 65 63 | the dom|ain-spec|
|00000960| 69 66 69 63 20 66 72 61 | 6d 65 73 20 69 6e 74 6f |ific fra|mes into|
|00000970| 20 74 68 65 0a 67 65 6e | 65 72 61 6c 20 74 65 78 | the.gen|eral tex|
|00000980| 74 20 74 65 72 6d 69 6e | 6f 6c 6f 67 79 20 4c 61 |t termin|ology La|
|00000990| 54 65 58 20 75 73 65 73 | 2e 20 49 6e 20 70 61 72 |TeX uses|. In par|
|000009a0| 61 6c 6c 65 6c 2c 20 74 | 68 65 20 75 73 65 72 20 |allel, t|he user |
|000009b0| 64 65 66 69 6e 65 73 0a | 74 72 61 6e 73 6c 61 74 |defines.|translat|
|000009c0| 69 6f 6e 20 6f 66 20 74 | 68 65 73 65 20 66 72 61 |ion of t|hese fra|
|000009d0| 6d 65 73 20 69 6e 74 6f | 20 48 54 4d 4c 20 63 6f |mes into| HTML co|
|000009e0| 6d 6d 61 6e 64 73 2e 20 | 20 54 68 69 73 20 74 72 |mmands. | This tr|
|000009f0| 61 6e 73 6c 61 74 69 6f | 6e 20 69 73 0a 6e 6f 74 |anslatio|n is.not|
|00000a00| 20 6e 65 63 65 73 73 61 | 72 69 6c 79 20 74 68 65 | necessa|rily the|
|00000a10| 20 73 61 6d 65 2e 20 20 | 46 6f 72 20 65 78 61 6d | same. |For exam|
|00000a20| 70 6c 65 2c 20 77 68 65 | 6e 20 64 65 66 69 6e 69 |ple, whe|n defini|
|00000a30| 6e 67 20 61 20 73 79 6e | 74 61 78 20 69 6e 20 42 |ng a syn|tax in B|
|00000a40| 4e 46 2c 0a 69 74 20 6d | 61 79 20 62 65 20 64 65 |NF,.it m|ay be de|
|00000a50| 73 69 72 61 62 6c 65 20 | 74 6f 20 6d 61 6b 65 20 |sirable |to make |
|00000a60| 6c 69 6e 6b 73 20 66 72 | 6f 6d 20 74 68 65 20 75 |links fr|om the u|
|00000a70| 73 61 67 65 20 6f 66 20 | 42 4e 46 20 74 65 72 6d |sage of |BNF term|
|00000a80| 73 20 74 6f 20 74 68 65 | 69 72 0a 64 65 66 69 6e |s to the|ir.defin|
|00000a90| 69 74 69 6f 6e 2e 20 20 | 46 6f 72 20 74 68 65 20 |ition. |For the |
|00000aa0| 70 61 70 65 72 20 76 65 | 72 73 69 6f 6e 2c 20 61 |paper ve|rsion, a|
|00000ab0| 6e 20 69 6e 64 65 78 20 | 6f 66 20 74 68 65 20 74 |n index |of the t|
|00000ac0| 65 72 6d 73 20 64 65 66 | 69 6e 65 64 20 69 73 0a |erms def|ined is.|
|00000ad0| 70 72 6f 62 61 62 6c 79 | 20 74 68 65 20 64 65 73 |probably| the des|
|00000ae0| 69 72 65 64 20 63 72 6f | 73 73 2d 72 65 66 65 72 |ired cro|ss-refer|
|00000af0| 65 6e 63 69 6e 67 20 61 | 69 64 2e 0a 0a 0a 5c 73 |encing a|id....\s|
|00000b00| 65 63 74 69 6f 6e 7b 4f | 76 65 72 76 69 65 77 7d |ection{O|verview}|
|00000b10| 09 09 09 5c 6c 61 62 65 | 6c 7b 73 65 63 3a 6f 76 |...\labe|l{sec:ov|
|00000b20| 65 72 76 69 65 77 7d 0a | 0a 54 68 65 20 74 72 61 |erview}.|.The tra|
|00000b30| 6e 73 6c 61 74 6f 72 20 | 63 6f 6e 73 69 73 74 73 |nslator |consists|
|00000b40| 20 6f 66 20 74 77 6f 20 | 70 61 72 74 73 2e 20 20 | of two |parts. |
|00000b50| 54 68 65 20 66 69 72 73 | 74 20 70 61 72 74 20 69 |The firs|t part i|
|00000b60| 73 20 61 20 43 2d 70 72 | 6f 67 72 61 6d 0a 74 68 |s a C-pr|ogram.th|
|00000b70| 61 74 20 74 72 61 6e 73 | 6c 61 74 65 73 20 61 20 |at trans|lates a |
|00000b80| 4c 61 54 65 58 20 66 69 | 6c 65 20 6f 72 20 73 74 |LaTeX fi|le or st|
|00000b90| 72 69 6e 67 20 69 6e 74 | 6f 20 61 20 50 72 6f 6c |ring int|o a Prol|
|00000ba0| 6f 67 20 6c 69 73 74 20 | 6f 66 20 54 65 58 0a 74 |og list |of TeX.t|
|00000bb0| 6f 6b 65 6e 73 2e 20 20 | 54 68 69 73 20 70 61 63 |okens. |This pac|
|00000bc0| 6b 61 67 65 20 61 6c 73 | 6f 20 63 6f 6e 74 61 69 |kage als|o contai|
|00000bd0| 6e 73 20 74 68 65 20 6c | 61 72 67 65 72 20 70 61 |ns the l|arger pa|
|00000be0| 72 74 20 6f 66 20 61 20 | 70 72 65 74 74 79 2d 70 |rt of a |pretty-p|
|00000bf0| 72 69 6e 74 65 72 0a 66 | 6f 72 20 48 54 4d 4c 2e |rinter.f|or HTML.|
|00000c00| 20 20 49 6e 20 62 65 74 | 77 65 65 6e 20 69 73 20 | In bet|ween is |
|00000c10| 61 20 50 72 6f 6c 6f 67 | 20 70 72 6f 67 72 61 6d |a Prolog| program|
|00000c20| 20 74 68 61 74 20 74 72 | 61 6e 73 6c 61 74 65 73 | that tr|anslates|
|00000c30| 20 74 68 65 20 4c 61 54 | 65 58 0a 74 6f 6b 65 6e | the LaT|eX.token|
|00000c40| 20 6c 69 73 74 20 69 6e | 74 6f 20 61 6e 20 48 54 | list in|to an HT|
|00000c50| 4d 4c 20 74 6f 6b 65 6e | 20 6c 69 73 74 2e 20 46 |ML token| list. F|
|00000c60| 6f 72 20 74 68 69 73 20 | 70 72 6f 63 65 73 73 2c |or this |process,|
|00000c70| 20 50 72 6f 6c 6f 67 27 | 73 0a 75 6e 69 66 69 63 | Prolog'|s.unific|
|00000c80| 61 74 69 6f 6e 20 61 6e | 64 20 6e 6f 6e 2d 64 65 |ation an|d non-de|
|00000c90| 74 65 72 6d 69 6e 69 73 | 6d 20 61 6c 6c 6f 77 20 |terminis|m allow |
|00000ca0| 66 6f 72 20 65 61 73 79 | 20 64 65 66 69 6e 69 74 |for easy| definit|
|00000cb0| 69 6f 6e 20 6f 66 20 74 | 68 65 0a 74 72 61 6e 73 |ion of t|he.trans|
|00000cc0| 6c 61 74 6f 72 2e 20 20 | 54 68 65 20 74 72 61 6e |lator. |The tran|
|00000cd0| 73 6c 61 74 6f 72 20 69 | 74 73 65 6c 66 20 69 73 |slator i|tself is|
|00000ce0| 20 73 65 70 61 72 61 74 | 65 64 20 69 6e 74 6f 20 | separat|ed into |
|00000cf0| 61 20 6e 75 6d 62 65 72 | 20 6f 66 0a 63 6f 6d 70 |a number| of.comp|
|00000d00| 6f 6e 65 6e 74 73 2c 20 | 73 6f 6d 65 20 6f 66 20 |onents, |some of |
|00000d10| 77 68 69 63 68 20 6d 61 | 79 20 62 65 20 65 78 74 |which ma|y be ext|
|00000d20| 65 6e 64 65 64 20 62 79 | 20 74 68 65 20 75 73 65 |ended by| the use|
|00000d30| 72 2e 0a 0a 5c 62 65 67 | 69 6e 7b 64 65 73 63 72 |r...\beg|in{descr|
|00000d40| 69 70 74 69 6f 6e 7d 0a | 20 20 20 20 5c 69 74 65 |iption}.| \ite|
|00000d50| 6d 5b 54 6f 70 6c 65 76 | 65 6c 20 64 72 69 76 65 |m[Toplev|el drive|
|00000d60| 72 5d 0a 54 68 69 73 20 | 63 6f 6d 70 6f 6e 65 6e |r].This |componen|
|00000d70| 74 20 6d 61 69 6e 74 61 | 69 6e 73 20 66 69 6c 65 |t mainta|ins file|
|00000d80| 73 2c 20 6f 70 74 69 6f | 6e 73 2c 20 65 74 63 2e |s, optio|ns, etc.|
|00000d90| 20 20 49 74 20 69 73 20 | 72 65 73 70 6f 6e 73 69 | It is |responsi|
|00000da0| 62 6c 65 20 66 6f 72 0a | 69 6e 69 74 69 61 6c 69 |ble for.|initiali|
|00000db0| 73 69 6e 67 20 61 6e 64 | 20 63 6f 6e 74 72 6f 6c |sing and| control|
|00000dc0| 6c 69 6e 67 20 74 68 65 | 20 6f 76 65 72 61 6c 6c |ling the| overall|
|00000dd0| 20 70 72 6f 63 65 73 73 | 2e 20 73 65 65 20 6c 61 | process|. see la|
|00000de0| 74 65 78 32 68 74 6d 6c | 2f 31 2e 0a 0a 20 20 20 |tex2html|/1... |
|00000df0| 20 5c 69 74 65 6d 5b 43 | 6f 6d 6d 61 6e 64 20 61 | \item[C|ommand a|
|00000e00| 6e 64 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 20 74 |nd envir|onment t|
|00000e10| 72 61 6e 73 6c 61 74 6f | 72 5d 0a 4d 61 70 73 20 |ranslato|r].Maps |
|00000e20| 69 6e 64 69 76 69 64 75 | 61 6c 20 63 6f 6d 6d 61 |individu|al comma|
|00000e30| 6e 64 73 20 61 6e 64 20 | 65 6e 76 69 72 6f 6e 6d |nds and |environm|
|00000e40| 65 6e 74 73 20 69 6e 74 | 6f 20 65 69 74 68 65 72 |ents int|o either|
|00000e50| 20 70 6c 61 69 6e 20 48 | 54 4d 4c 20 74 6f 6b 65 | plain H|TML toke|
|00000e60| 6e 73 0a 6f 72 20 48 54 | 4d 4c 20 6d 61 63 72 6f |ns.or HT|ML macro|
|00000e70| 73 20 28 73 65 65 20 62 | 65 6c 6f 77 29 2e 20 20 |s (see b|elow). |
|00000e80| 54 68 69 73 20 6c 65 76 | 65 6c 20 69 73 20 72 65 |This lev|el is re|
|00000e90| 70 72 65 73 65 6e 74 65 | 64 20 62 79 20 74 68 65 |presente|d by the|
|00000ea0| 20 70 72 65 64 69 63 61 | 74 65 73 0a 63 6d 64 2f | predica|tes.cmd/|
|00000eb0| 5b 32 2d 34 5d 20 61 6e | 64 20 65 6e 76 2f 32 2c |[2-4] an|d env/2,|
|00000ec0| 20 77 68 69 63 68 20 6d | 61 79 20 62 65 20 65 78 | which m|ay be ex|
|00000ed0| 74 65 6e 64 65 64 20 6f | 72 20 72 65 64 65 66 69 |tended o|r redefi|
|00000ee0| 6e 65 64 20 62 79 20 74 | 68 65 20 75 73 65 72 2e |ned by t|he user.|
|00000ef0| 0a 0a 20 20 20 20 5c 69 | 74 65 6d 5b 48 54 4d 4c |.. \i|tem[HTML|
|00000f00| 20 6d 61 63 72 6f 20 65 | 78 70 61 6e 64 65 72 5d | macro e|xpander]|
|00000f10| 0a 47 65 6e 65 72 61 74 | 69 6e 67 20 70 6c 61 69 |.Generat|ing plai|
|00000f20| 6e 20 48 54 4d 4c 20 69 | 6e 20 6f 6e 65 20 73 74 |n HTML i|n one st|
|00000f30| 65 70 20 69 73 20 63 75 | 6d 62 65 72 73 6f 6d 65 |ep is cu|mbersome|
|00000f40| 2e 20 20 54 68 65 20 6d | 61 63 72 6f 20 65 78 70 |. The m|acro exp|
|00000f50| 61 6e 64 65 72 0a 61 6c | 6c 6f 77 73 20 66 6f 72 |ander.al|lows for|
|00000f60| 20 70 61 72 61 6d 65 74 | 65 72 69 73 65 64 20 65 | paramet|erised e|
|00000f70| 78 70 61 6e 73 69 6f 6e | 20 6f 66 20 74 65 72 6d |xpansion| of term|
|00000f80| 73 20 69 6e 74 6f 20 73 | 65 71 75 65 6e 63 65 73 |s into s|equences|
|00000f90| 20 6f 66 20 48 54 4d 4c | 0a 63 6f 6d 6d 61 6e 64 | of HTML|.command|
|00000fa0| 73 2e 20 20 4f 66 20 63 | 6f 75 72 73 65 2c 20 6d |s. Of c|ourse, m|
|00000fb0| 61 63 72 6f 73 20 6d 61 | 79 20 62 65 20 65 78 70 |acros ma|y be exp|
|00000fc0| 72 65 73 73 65 64 20 69 | 6e 20 6d 61 63 72 6f 73 |ressed i|n macros|
|00000fd0| 2e 20 20 54 68 65 20 73 | 65 74 0a 6f 66 20 6d 61 |. The s|et.of ma|
|00000fe0| 63 72 6f 73 20 69 73 20 | 72 65 70 72 65 73 65 6e |cros is |represen|
|00000ff0| 74 65 64 20 62 79 20 74 | 68 65 20 5c 70 72 65 64 |ted by t|he \pred|
|00001000| 72 65 66 7b 23 7d 7b 32 | 7d 20 70 72 65 64 69 63 |ref{#}{2|} predic|
|00001010| 61 74 65 2e 20 20 4d 61 | 63 72 6f 73 0a 61 72 65 |ate. Ma|cros.are|
|00001020| 20 63 61 6c 6c 65 64 20 | 75 73 69 6e 67 20 5c 66 | called |using \f|
|00001030| 75 6e 63 74 6f 72 7b 23 | 7d 7b 31 7d 20 74 65 72 |unctor{#|}{1} ter|
|00001040| 6d 73 2e 0a 0a 20 20 20 | 20 5c 69 74 65 6d 5b 52 |ms... | \item[R|
|00001050| 65 66 65 72 65 6e 63 65 | 20 72 65 73 6f 6c 76 65 |eference| resolve|
|00001060| 72 5d 0a 52 65 66 65 72 | 65 6e 63 65 73 20 74 6f |r].Refer|ences to|
|00001070| 20 6c 6f 63 61 6c 20 28 | 69 2e 65 2e 5c 20 69 6e | local (|i.e.\ in|
|00001080| 73 69 64 65 20 74 68 65 | 20 64 6f 63 75 6d 65 6e |side the| documen|
|00001090| 74 29 20 6c 61 62 65 6c | 73 20 61 72 65 20 74 72 |t) label|s are tr|
|000010a0| 61 6e 73 6c 61 74 65 64 | 0a 69 6e 74 6f 20 74 68 |anslated|.into th|
|000010b0| 65 20 61 70 70 72 6f 70 | 72 69 61 74 65 20 48 54 |e approp|riate HT|
|000010c0| 4d 4c 20 63 6f 6d 6d 61 | 6e 64 73 2e 20 20 57 61 |ML comma|nds. Wa|
|000010d0| 72 6e 69 6e 67 73 20 61 | 72 65 20 70 72 69 6e 74 |rnings a|re print|
|000010e0| 65 64 20 66 6f 72 20 75 | 6e 64 65 66 69 6e 65 64 |ed for u|ndefined|
|000010f0| 0a 72 65 66 65 72 65 6e | 63 65 73 2e 0a 0a 20 20 |.referen|ces... |
|00001100| 20 20 5c 69 74 65 6d 5b | 50 72 65 74 74 79 20 70 | \item[|Pretty p|
|00001110| 72 69 6e 74 65 72 5d 0a | 54 68 65 20 70 72 65 74 |rinter].|The pret|
|00001120| 74 79 2d 70 72 69 6e 74 | 65 72 20 70 72 6f 76 69 |ty-print|er provi|
|00001130| 64 65 73 20 74 68 65 20 | 66 69 6e 61 6c 20 6f 75 |des the |final ou|
|00001140| 74 70 75 74 2e 20 20 49 | 74 20 64 65 6c 65 74 65 |tput. I|t delete|
|00001150| 73 2c 20 6d 61 70 73 20 | 61 6e 64 0a 74 72 61 6e |s, maps |and.tran|
|00001160| 73 6c 61 74 65 73 20 62 | 6c 61 6e 6b 20 73 70 61 |slates b|lank spa|
|00001170| 63 65 20 69 6e 20 74 68 | 65 20 6f 75 74 70 75 74 |ce in th|e output|
|00001180| 20 74 6f 20 61 72 72 69 | 76 65 20 61 74 20 61 20 | to arri|ve at a |
|00001190| 72 65 61 73 6f 6e 61 62 | 6c 65 20 6c 6f 6f 6b 69 |reasonab|le looki|
|000011a0| 6e 67 0a 48 54 4d 4c 20 | 64 6f 63 75 6d 65 6e 74 |ng.HTML |document|
|000011b0| 2e 0a 5c 65 6e 64 7b 64 | 65 73 63 72 69 70 74 69 |..\end{d|escripti|
|000011c0| 6f 6e 7d 0a 0a 0a 5c 73 | 65 63 74 69 6f 6e 7b 49 |on}...\s|ection{I|
|000011d0| 6e 73 74 61 6c 6c 69 6e | 67 20 74 68 65 20 74 72 |nstallin|g the tr|
|000011e0| 61 6e 73 6c 61 74 6f 72 | 7d 0a 0a 54 6f 20 69 6e |anslator|}..To in|
|000011f0| 73 74 61 6c 6c 20 74 68 | 65 20 74 72 61 6e 73 6c |stall th|e transl|
|00001200| 61 74 6f 72 2c 20 65 64 | 69 74 20 66 69 72 73 74 |ator, ed|it first|
|00001210| 20 69 6e 73 74 61 6c 6c | 0a 5c 75 72 6c 5b 53 57 | install|.\url[SW|
|00001220| 49 2d 50 72 6f 6c 6f 67 | 5d 7b 68 74 74 70 3a 2f |I-Prolog|]{http:/|
|00001230| 2f 77 77 77 2e 73 77 69 | 2e 70 73 79 2e 75 76 61 |/www.swi|.psy.uva|
|00001240| 2e 6e 6c 2f 75 73 72 2f | 6a 61 6e 2f 53 57 49 2d |.nl/usr/|jan/SWI-|
|00001250| 50 72 6f 6c 6f 67 2e 68 | 6f 6d 65 7d 2c 0a 76 65 |Prolog.h|ome},.ve|
|00001260| 72 73 69 6f 6e 20 32 2e | 37 2e 31 38 20 6f 72 20 |rsion 2.|7.18 or |
|00001270| 6c 61 74 65 72 2e 20 4e | 65 78 74 20 65 64 69 74 |later. N|ext edit|
|00001280| 20 74 68 65 20 5c 66 69 | 6c 65 7b 4d 61 6b 65 66 | the \fi|le{Makef|
|00001290| 69 6c 65 7d 20 61 6e 64 | 20 66 69 6e 61 6c 6c 79 |ile} and| finally|
|000012a0| 20 72 75 6e 0a 5c 70 72 | 6f 67 72 61 6d 7b 6d 61 | run.\pr|ogram{ma|
|000012b0| 6b 65 7d 20 74 6f 20 69 | 6e 73 74 61 6c 6c 20 74 |ke} to i|nstall t|
|000012c0| 68 65 20 73 79 73 74 65 | 6d 2e 20 57 69 74 68 6f |he syste|m. Witho|
|000012d0| 75 74 20 6d 6f 64 69 66 | 69 63 61 74 69 6f 6e 73 |ut modif|ications|
|000012e0| 2c 20 74 68 65 0a 4d 61 | 6b 65 66 69 6c 65 20 73 |, the.Ma|kefile s|
|000012f0| 68 6f 75 6c 64 20 77 6f | 72 6b 20 6f 6e 20 61 6e |hould wo|rk on an|
|00001300| 79 20 73 79 73 74 65 6d | 20 6f 6e 20 77 68 69 63 |y system| on whic|
|00001310| 68 20 53 57 49 2d 50 72 | 6f 6c 6f 67 20 73 75 70 |h SWI-Pr|olog sup|
|00001320| 70 6f 72 74 73 20 61 6e | 0a 69 6e 74 65 72 66 61 |ports an|.interfa|
|00001330| 63 65 20 74 6f 20 73 68 | 61 72 65 64 20 6f 62 6a |ce to sh|ared obj|
|00001340| 65 63 74 73 20 61 6e 64 | 20 5c 70 72 6f 67 72 61 |ects and| \progra|
|00001350| 6d 7b 67 63 63 7d 20 73 | 75 70 70 6f 72 74 73 20 |m{gcc} s|upports |
|00001360| 74 68 65 0a 5c 63 6d 64 | 6c 69 6e 65 6f 70 74 69 |the.\cmd|lineopti|
|00001370| 6f 6e 7b 2d 73 68 61 72 | 65 64 7d 20 6f 70 74 69 |on{-shar|ed} opti|
|00001380| 6f 6e 2e 0a 0a 41 66 74 | 65 72 20 73 75 63 63 65 |on...Aft|er succe|
|00001390| 73 73 66 75 6c 20 65 78 | 65 63 75 74 69 6f 6e 2c |ssful ex|ecution,|
|000013a0| 20 74 68 65 20 70 72 6f | 67 72 61 6d 20 6d 61 79 | the pro|gram may|
|000013b0| 20 62 65 20 72 75 6e 20 | 61 73 3a 0a 0a 5c 62 65 | be run |as:..\be|
|000013c0| 67 69 6e 7b 76 65 72 62 | 61 74 69 6d 7d 0a 25 20 |gin{verb|atim}.% |
|000013d0| 6c 61 74 65 78 32 68 74 | 6d 6c 20 66 69 6c 65 0a |latex2ht|ml file.|
|000013e0| 5c 65 6e 64 7b 76 65 72 | 62 61 74 69 6d 7d 0a 0a |\end{ver|batim}..|
|000013f0| 0a 5c 73 65 63 74 69 6f | 6e 7b 52 75 6e 6e 69 6e |.\sectio|n{Runnin|
|00001400| 67 20 74 68 65 20 74 72 | 61 6e 73 6c 61 74 6f 72 |g the tr|anslator|
|00001410| 7d 0a 0a 5c 73 75 62 73 | 65 63 74 69 6f 6e 7b 52 |}..\subs|ection{R|
|00001420| 75 6e 6e 69 6e 67 20 4c | 61 54 65 58 7d 0a 0a 49 |unning L|aTeX}..I|
|00001430| 66 20 74 68 65 20 64 6f | 63 75 6d 65 6e 74 73 20 |f the do|cuments |
|00001440| 63 6f 6e 74 61 69 6e 73 | 20 5c 70 72 6f 67 72 61 |contains| \progra|
|00001450| 6d 7b 42 69 62 54 65 58 | 7d 20 72 65 66 65 72 65 |m{BibTeX|} refere|
|00001460| 6e 63 65 73 2c 20 69 74 | 20 73 68 6f 75 6c 64 20 |nces, it| should |
|00001470| 66 69 72 73 74 0a 62 65 | 20 70 72 6f 63 65 73 73 |first.be| process|
|00001480| 65 64 20 62 79 20 5c 70 | 72 6f 67 72 61 6d 7b 4c |ed by \p|rogram{L|
|00001490| 61 54 65 58 7d 20 61 6e | 64 20 5c 70 72 6f 67 72 |aTeX} an|d \progr|
|000014a0| 61 6d 7b 42 69 62 54 65 | 58 7d 20 74 6f 20 63 72 |am{BibTe|X} to cr|
|000014b0| 65 61 74 65 20 74 68 65 | 0a 5c 66 69 6c 65 65 78 |eate the|.\fileex|
|000014c0| 74 7b 62 62 6c 7d 20 66 | 69 6c 65 20 68 6f 6c 64 |t{bbl} f|ile hold|
|000014d0| 69 6e 67 20 74 68 65 20 | 72 65 66 65 72 65 6e 63 |ing the |referenc|
|000014e0| 65 73 2e 20 53 65 63 74 | 69 6f 6e 20 6e 75 6d 62 |es. Sect|ion numb|
|000014f0| 65 72 73 2c 20 66 6f 6f | 74 6e 6f 74 65 73 2c 0a |ers, foo|tnotes,.|
|00001500| 63 72 6f 73 73 2d 72 65 | 66 65 72 65 6e 63 65 73 |cross-re|ferences|
|00001510| 2c 20 65 74 63 2e 5c 20 | 61 72 65 20 67 65 6e 65 |, etc.\ |are gene|
|00001520| 72 61 74 65 64 20 62 79 | 20 74 68 65 20 74 72 61 |rated by| the tra|
|00001530| 6e 73 6c 61 74 6f 72 2e | 20 52 75 6e 6e 69 6e 67 |nslator.| Running|
|00001540| 0a 5c 70 72 6f 67 72 61 | 6d 7b 4c 61 54 65 58 7d |.\progra|m{LaTeX}|
|00001550| 20 62 65 66 6f 72 65 20 | 75 73 69 6e 67 20 74 68 | before |using th|
|00001560| 65 20 74 72 61 6e 73 6c | 61 74 6f 72 20 69 73 20 |e transl|ator is |
|00001570| 61 6c 73 6f 20 75 73 65 | 66 75 6c 20 66 6f 72 20 |also use|ful for |
|00001580| 66 69 6e 64 69 6e 67 0a | 61 6e 64 20 66 69 78 69 |finding.|and fixi|
|00001590| 6e 67 20 5c 70 72 6f 67 | 72 61 6d 7b 4c 61 54 65 |ng \prog|ram{LaTe|
|000015a0| 58 7d 20 73 79 6e 74 61 | 78 20 65 72 72 6f 72 73 |X} synta|x errors|
|000015b0| 2e 20 54 68 65 20 74 72 | 61 6e 73 6c 61 74 6f 72 |. The tr|anslator|
|000015c0| 20 63 68 65 63 6b 73 20 | 74 68 65 0a 73 79 6e 74 | checks |the.synt|
|000015d0| 61 78 2c 20 62 75 74 20 | 67 69 76 65 73 20 6f 74 |ax, but |gives ot|
|000015e0| 68 65 72 20 64 69 66 66 | 69 63 75 6c 74 20 74 6f |her diff|icult to|
|000015f0| 20 75 6e 64 65 72 73 74 | 61 6e 64 20 65 72 72 6f | underst|and erro|
|00001600| 72 20 6d 65 73 73 61 67 | 65 73 20 61 73 0a 5c 70 |r messag|es as.\p|
|00001610| 72 6f 67 72 61 6d 7b 4c | 61 54 65 58 7d 2e 0a 0a |rogram{L|aTeX}...|
|00001620| 0a 5c 73 75 62 73 65 63 | 74 69 6f 6e 7b 54 72 61 |.\subsec|tion{Tra|
|00001630| 6e 73 6c 61 74 69 6e 67 | 20 74 6f 20 48 54 4d 4c |nslating| to HTML|
|00001640| 7d 0a 0a 4e 6f 72 6d 61 | 6c 6c 79 2c 20 74 68 65 |}..Norma|lly, the|
|00001650| 20 63 6f 6d 6d 61 6e 64 | 0a 0a 5c 62 65 67 69 6e | command|..\begin|
|00001660| 7b 76 65 72 62 61 74 69 | 6d 7d 0a 25 20 6c 61 74 |{verbati|m}.% lat|
|00001670| 65 78 32 68 74 6d 6c 20 | 66 69 6c 65 0a 5c 65 6e |ex2html |file.\en|
|00001680| 64 7b 76 65 72 62 61 74 | 69 6d 7d 0a 0a 73 68 6f |d{verbat|im}..sho|
|00001690| 75 6c 64 20 74 72 61 6e | 73 6c 61 74 65 20 5c 66 |uld tran|slate \f|
|000016a0| 69 6c 65 7b 66 69 6c 65 | 2e 74 65 78 7d 20 69 6e |ile{file|.tex} in|
|000016b0| 74 6f 20 5c 66 69 6c 65 | 7b 66 69 6c 65 2f 66 69 |to \file|{file/fi|
|000016c0| 6c 65 2e 68 74 6d 6c 7d | 2e 20 20 53 65 70 61 72 |le.html}|. Separ|
|000016d0| 61 74 65 0a 5c 66 69 6c | 65 65 78 74 7b 68 74 6d |ate.\fil|eext{htm|
|000016e0| 6c 7d 20 66 69 6c 65 73 | 20 61 72 65 20 67 65 6e |l} files| are gen|
|000016f0| 65 72 61 74 65 64 20 66 | 6f 72 20 65 61 63 68 20 |erated f|or each |
|00001700| 73 65 63 74 69 6f 6e 2c | 20 74 68 65 20 74 61 62 |section,| the tab|
|00001710| 6c 65 20 6f 66 0a 63 6f | 6e 74 65 6e 74 73 2c 20 |le of.co|ntents, |
|00001720| 61 6c 6c 20 28 66 6f 6f | 74 29 6e 6f 74 65 73 20 |all (foo|t)notes |
|00001730| 61 6e 64 20 74 68 65 20 | 69 6e 64 65 78 2c 20 75 |and the |index, u|
|00001740| 6e 6c 65 73 73 20 74 68 | 65 20 63 6f 6d 6d 61 6e |nless th|e comman|
|00001750| 64 0a 5c 74 65 78 63 6d | 64 7b 6f 6e 65 66 69 6c |d.\texcm|d{onefil|
|00001760| 65 7d 20 61 70 70 65 61 | 72 73 20 69 6e 20 74 68 |e} appea|rs in th|
|00001770| 65 20 70 72 65 61 6d 62 | 6c 65 20 6f 66 20 74 68 |e preamb|le of th|
|00001780| 65 20 64 6f 63 75 6d 65 | 6e 74 2c 20 69 6e 20 77 |e docume|nt, in w|
|00001790| 68 69 63 68 0a 63 61 73 | 65 20 74 68 65 20 65 6e |hich.cas|e the en|
|000017a0| 74 69 72 65 20 64 6f 63 | 75 6d 65 6e 74 20 69 73 |tire doc|ument is|
|000017b0| 20 63 72 65 61 74 65 64 | 20 69 6e 20 5c 66 69 6c | created| in \fil|
|000017c0| 65 7b 66 69 6c 65 2f 66 | 69 6c 65 2e 68 74 6d 6c |e{file/f|ile.html|
|000017d0| 7d 2e 0a 0a 54 68 65 20 | 74 72 61 6e 73 6c 61 74 |}...The |translat|
|000017e0| 6f 72 20 68 61 6e 64 6c | 65 73 20 5c 74 65 78 63 |or handl|es \texc|
|000017f0| 6d 64 7b 69 6e 63 6c 75 | 64 65 7d 20 61 6e 64 20 |md{inclu|de} and |
|00001800| 5c 74 65 78 63 6d 64 7b | 69 6e 70 75 74 7d 20 63 |\texcmd{|input} c|
|00001810| 6f 6d 6d 61 6e 64 73 0a | 74 6f 20 70 72 6f 63 65 |ommands.|to proce|
|00001820| 73 73 20 4c 61 54 65 58 | 20 69 6e 63 6c 75 64 65 |ss LaTeX| include|
|00001830| 64 20 66 69 6c 65 73 2e | 20 20 49 66 20 61 20 5c |d files.| If a \|
|00001840| 74 65 78 63 6d 64 7b 75 | 73 65 70 61 63 6b 61 67 |texcmd{u|sepackag|
|00001850| 65 7d 20 63 6f 6d 6d 61 | 6e 64 20 69 73 0a 65 6e |e} comma|nd is.en|
|00001860| 63 6f 75 6e 74 65 72 65 | 64 2c 20 74 68 65 20 73 |countere|d, the s|
|00001870| 79 73 74 65 6d 20 77 69 | 6c 6c 20 6c 6f 6f 6b 20 |ystem wi|ll look |
|00001880| 66 6f 72 20 61 20 63 6f | 72 72 65 73 70 6f 6e 64 |for a co|rrespond|
|00001890| 69 6e 67 20 50 72 6f 6c | 6f 67 20 66 69 6c 65 20 |ing Prol|og file |
|000018a0| 74 6f 0a 64 65 66 69 6e | 65 20 61 64 64 69 74 69 |to.defin|e additi|
|000018b0| 6f 6e 61 6c 20 74 72 61 | 6e 73 6c 61 74 69 6f 6e |onal tra|nslation|
|000018c0| 20 72 75 6c 65 73 2e 20 | 20 54 68 65 20 63 6f 6e | rules. | The con|
|000018d0| 74 65 6e 74 20 6f 66 20 | 70 61 63 6b 61 67 65 73 |tent of |packages|
|000018e0| 20 6f 72 0a 5c 66 69 6c | 65 65 78 74 7b 73 74 79 | or.\fil|eext{sty|
|000018f0| 7d 20 66 69 6c 65 73 20 | 69 6e 20 6e 6f 74 20 65 |} files |in not e|
|00001900| 78 61 6d 69 6e 65 64 2e | 20 20 53 65 65 20 5c 73 |xamined.| See \s|
|00001910| 65 63 72 65 66 7b 65 78 | 74 65 6e 64 69 6e 67 7d |ecref{ex|tending}|
|00001920| 2e 0a 0a 0a 5c 73 75 62 | 73 65 63 74 69 6f 6e 7b |....\sub|section{|
|00001930| 52 75 6e 6e 69 6e 67 20 | 74 68 65 20 74 72 61 6e |Running |the tran|
|00001940| 73 6c 61 74 6f 72 20 66 | 72 6f 6d 20 74 68 65 20 |slator f|rom the |
|00001950| 50 72 6f 6c 6f 67 20 74 | 6f 70 6c 65 76 65 6c 7d |Prolog t|oplevel}|
|00001960| 0a 0a 4e 6f 74 61 62 6c | 79 20 77 68 65 6e 20 74 |..Notabl|y when t|
|00001970| 65 73 74 69 6e 67 20 61 | 6e 64 20 65 78 74 65 6e |esting a|nd exten|
|00001980| 64 69 6e 67 20 74 68 65 | 20 74 72 61 6e 73 6c 61 |ding the| transla|
|00001990| 74 6f 72 2c 20 69 74 20 | 6d 61 79 20 62 65 20 77 |tor, it |may be w|
|000019a0| 69 73 65 20 74 6f 0a 72 | 75 6e 20 74 68 65 20 74 |ise to.r|un the t|
|000019b0| 72 61 6e 73 6c 61 74 6f | 72 20 66 72 6f 6d 20 74 |ranslato|r from t|
|000019c0| 68 65 20 50 72 6f 6c 6f | 67 20 74 6f 70 6c 65 76 |he Prolo|g toplev|
|000019d0| 65 6c 2e 20 20 54 68 65 | 20 65 61 73 69 65 73 74 |el. The| easiest|
|000019e0| 20 77 61 79 20 69 73 20 | 74 6f 0a 75 73 65 3a 0a | way is |to.use:.|
|000019f0| 0a 5c 62 65 67 69 6e 7b | 76 65 72 62 61 74 69 6d |.\begin{|verbatim|
|00001a00| 7d 0a 25 20 6c 61 74 65 | 78 32 68 74 6d 6c 20 2d |}.% late|x2html -|
|00001a10| 70 6c 0a 5c 65 6e 64 7b | 76 65 72 62 61 74 69 6d |pl.\end{|verbatim|
|00001a20| 7d 0a 0a 77 68 69 63 68 | 20 77 69 6c 6c 20 73 74 |}..which| will st|
|00001a30| 61 72 74 20 50 72 6f 6c | 6f 67 2c 20 73 65 74 20 |art Prol|og, set |
|00001a40| 74 68 65 20 61 70 70 72 | 6f 70 72 69 61 74 65 20 |the appr|opriate |
|00001a50| 6c 69 62 72 61 72 79 20 | 64 69 72 65 63 74 6f 72 |library |director|
|00001a60| 79 2c 20 6c 6f 61 64 0a | 5c 70 6c 6c 69 62 7b 6c |y, load.|\pllib{l|
|00001a70| 61 74 65 78 32 68 74 6d | 6c 7d 20 61 6e 64 20 66 |atex2htm|l} and f|
|00001a80| 69 6e 61 6c 6c 79 20 65 | 6e 74 65 72 73 20 74 68 |inally e|nters th|
|00001a90| 65 20 50 72 6f 6c 6f 67 | 20 74 6f 70 6c 65 76 65 |e Prolog| topleve|
|00001aa0| 6c 2e 20 41 66 74 65 72 | 20 74 68 69 73 2c 0a 69 |l. After| this,.i|
|00001ab0| 74 20 69 73 20 70 6f 73 | 73 69 62 6c 65 20 74 6f |t is pos|sible to|
|00001ac0| 20 6c 6f 61 64 20 61 64 | 64 69 74 69 6f 6e 61 6c | load ad|ditional|
|00001ad0| 20 70 61 63 6b 61 67 65 | 73 20 61 6e 64 2f 6f 72 | package|s and/or|
|00001ae0| 20 69 6e 69 74 69 61 6c | 69 73 65 20 74 68 65 0a | initial|ise the.|
|00001af0| 64 65 62 75 67 67 65 72 | 20 66 6f 72 20 64 65 62 |debugger| for deb|
|00001b00| 75 67 67 69 6e 67 20 74 | 68 65 20 74 72 61 6e 73 |ugging t|he trans|
|00001b10| 6c 61 74 6f 72 2e 20 54 | 6f 20 72 75 6e 20 74 68 |lator. T|o run th|
|00001b20| 65 20 74 72 61 6e 73 6c | 61 74 6f 72 2c 20 75 73 |e transl|ator, us|
|00001b30| 65 0a 6c 61 74 65 78 32 | 68 74 6d 6c 2f 31 3a 0a |e.latex2|html/1:.|
|00001b40| 0a 5c 62 65 67 69 6e 7b | 64 65 73 63 72 69 70 74 |.\begin{|descript|
|00001b50| 69 6f 6e 7d 0a 20 20 20 | 20 5c 70 72 65 64 69 63 |ion}. | \predic|
|00001b60| 61 74 65 7b 6c 61 74 65 | 78 32 68 74 6d 6c 7d 7b |ate{late|x2html}{|
|00001b70| 31 7d 7b 2b 49 6e 70 75 | 74 46 69 6c 65 7d 0a 5c |1}{+Inpu|tFile}.\|
|00001b80| 61 72 67 7b 49 6e 70 75 | 74 46 69 6c 65 7d 20 69 |arg{Inpu|tFile} i|
|00001b90| 73 20 74 68 65 20 6e 61 | 6d 65 20 6f 66 20 74 68 |s the na|me of th|
|00001ba0| 65 20 74 6f 70 6c 65 76 | 65 6c 20 4c 61 54 65 58 |e toplev|el LaTeX|
|00001bb0| 20 66 69 6c 65 2c 20 65 | 69 74 68 65 72 20 77 69 | file, e|ither wi|
|00001bc0| 74 68 0a 6f 72 20 77 69 | 74 68 6f 75 74 20 74 68 |th.or wi|thout th|
|00001bd0| 65 20 5c 66 69 6c 65 65 | 78 74 7b 74 65 78 7d 20 |e \filee|xt{tex} |
|00001be0| 65 78 74 65 6e 73 69 6f | 6e 2e 09 20 20 54 68 65 |extensio|n.. The|
|00001bf0| 20 74 72 61 6e 73 6c 61 | 74 6f 72 20 77 69 6c 6c | transla|tor will|
|00001c00| 20 63 72 65 61 74 65 0a | 61 20 64 69 72 65 63 74 | create.|a direct|
|00001c10| 6f 72 79 20 75 73 69 6e | 67 20 74 68 65 20 62 61 |ory usin|g the ba|
|00001c20| 73 65 6e 61 6d 65 20 6f | 66 20 74 68 65 20 5c 61 |sename o|f the \a|
|00001c30| 72 67 7b 49 6e 70 75 74 | 46 69 6c 65 7d 20 66 6f |rg{Input|File} fo|
|00001c40| 72 20 74 68 65 20 6f 75 | 74 70 75 74 2e 0a 54 68 |r the ou|tput..Th|
|00001c50| 65 20 74 6f 70 6c 65 76 | 65 6c 20 48 54 4d 4c 20 |e toplev|el HTML |
|00001c60| 6f 75 74 70 75 74 20 66 | 69 6c 65 20 69 73 20 63 |output f|ile is c|
|00001c70| 6f 6e 73 74 72 75 63 74 | 65 64 20 66 72 6f 6d 20 |onstruct|ed from |
|00001c80| 74 68 65 20 73 61 6d 65 | 20 62 61 73 65 6e 61 6d |the same| basenam|
|00001c90| 65 0a 77 69 74 68 20 74 | 68 65 20 65 78 74 65 6e |e.with t|he exten|
|00001ca0| 73 69 6f 6e 20 5c 66 69 | 6c 65 65 78 74 7b 68 74 |sion \fi|leext{ht|
|00001cb0| 6d 6c 7d 2e 0a 0a 46 6f | 72 20 65 78 61 6d 70 6c |ml}...Fo|r exampl|
|00001cc0| 65 2e 20 20 53 75 70 70 | 6f 73 65 20 79 6f 75 72 |e. Supp|ose your|
|00001cd0| 20 74 6f 70 6c 65 76 65 | 6c 20 64 6f 63 75 6d 65 | topleve|l docume|
|00001ce0| 6e 74 20 69 73 20 63 61 | 6c 6c 65 64 20 5c 66 69 |nt is ca|lled \fi|
|00001cf0| 6c 65 7b 67 6e 61 74 2e | 74 65 78 7d 2e 0a 54 68 |le{gnat.|tex}..Th|
|00001d00| 69 73 20 69 73 20 74 72 | 61 6e 73 6c 61 74 65 64 |is is tr|anslated|
|00001d10| 20 69 6e 74 6f 20 5c 66 | 69 6c 65 7b 67 6e 61 74 | into \f|ile{gnat|
|00001d20| 2f 67 6e 61 74 2e 68 74 | 6d 6c 7d 20 75 73 69 6e |/gnat.ht|ml} usin|
|00001d30| 67 20 74 68 65 20 66 6f | 6c 6c 6f 77 69 6e 67 0a |g the fo|llowing.|
|00001d40| 63 6f 6d 6d 61 6e 64 73 | 3a 0a 0a 5c 62 65 67 69 |commands|:..\begi|
|00001d50| 6e 7b 76 65 72 62 61 74 | 69 6d 7d 0a 25 20 6c 61 |n{verbat|im}.% la|
|00001d60| 74 65 78 20 67 6e 61 74 | 0a 25 20 62 69 62 74 65 |tex gnat|.% bibte|
|00001d70| 78 20 67 6e 61 74 0a 25 | 20 6c 61 74 65 78 32 68 |x gnat.%| latex2h|
|00001d80| 74 6d 6c 20 2d 70 6c 0a | 57 65 6c 63 6f 6d 65 20 |tml -pl.|Welcome |
|00001d90| 74 6f 20 4c 61 54 65 58 | 32 48 54 4d 4c 20 76 65 |to LaTeX|2HTML ve|
|00001da0| 72 73 69 6f 6e 20 30 2e | 35 0a 0a 31 20 3f 2d 20 |rsion 0.|5..1 ?- |
|00001db0| 6c 61 74 65 78 32 74 68 | 6d 6c 28 67 6e 61 74 29 |latex2th|ml(gnat)|
|00001dc0| 2e 0a 32 20 3f 2d 20 68 | 61 6c 74 2e 0a 5c 65 6e |..2 ?- h|alt..\en|
|00001dd0| 64 7b 76 65 72 62 61 74 | 69 6d 7d 0a 5c 65 6e 64 |d{verbat|im}.\end|
|00001de0| 7b 64 65 73 63 72 69 70 | 74 69 6f 6e 7d 0a 0a 0a |{descrip|tion}...|
|00001df0| 5c 73 75 62 73 65 63 74 | 69 6f 6e 7b 57 61 72 6e |\subsect|ion{Warn|
|00001e00| 69 6e 67 73 20 66 72 6f | 6d 20 74 68 65 20 74 72 |ings fro|m the tr|
|00001e10| 61 6e 73 6c 61 74 6f 72 | 7d 0a 0a 57 61 72 6e 69 |anslator|}..Warni|
|00001e20| 6e 67 73 20 66 72 6f 6d | 20 74 68 65 20 74 72 61 |ngs from| the tra|
|00001e30| 6e 73 6c 61 74 6f 72 20 | 63 6f 6d 65 20 69 6e 20 |nslator |come in |
|00001e40| 74 68 72 65 65 20 66 6c | 61 76 6f 75 72 73 2e 20 |three fl|avours. |
|00001e50| 46 69 72 73 74 20 6f 66 | 20 61 6c 6c 2c 20 74 68 |First of| all, th|
|00001e60| 65 72 65 0a 61 72 65 20 | 77 61 72 6e 69 6e 67 73 |ere.are |warnings|
|00001e70| 20 66 72 6f 6d 20 74 68 | 65 20 74 6f 6b 65 6e 69 | from th|e tokeni|
|00001e80| 73 65 72 2c 20 65 69 74 | 68 65 72 20 62 65 63 61 |ser, eit|her beca|
|00001e90| 75 73 65 20 69 74 20 64 | 6f 65 73 20 6e 6f 74 20 |use it d|oes not |
|00001ea0| 6b 6e 6f 77 20 61 62 6f | 75 74 0a 74 68 65 20 61 |know abo|ut.the a|
|00001eb0| 72 67 75 6d 65 6e 74 20 | 73 79 6e 74 61 78 20 66 |rgument |syntax f|
|00001ec0| 6f 72 20 61 20 63 6f 6d | 6d 61 6e 64 20 6f 72 20 |or a com|mand or |
|00001ed0| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 2c 20 6f 72 20 |environm|ent, or |
|00001ee0| 62 65 63 61 75 73 65 20 | 69 74 20 64 65 74 65 63 |because |it detec|
|00001ef0| 74 73 0a 61 6e 20 65 72 | 72 6f 72 20 69 6e 20 74 |ts.an er|ror in t|
|00001f00| 68 65 20 4c 61 54 65 58 | 20 64 6f 63 75 6d 65 6e |he LaTeX| documen|
|00001f10| 74 2e 20 46 6f 72 20 61 | 6e 79 20 63 6f 6d 6d 61 |t. For a|ny comma|
|00001f20| 6e 64 20 6f 72 20 65 6e | 76 69 72 6f 6e 6d 65 6e |nd or en|vironmen|
|00001f30| 74 20 69 74 20 64 6f 65 | 73 0a 6e 6f 74 20 6b 6e |t it doe|s.not kn|
|00001f40| 6f 77 2c 20 69 74 20 61 | 73 73 75 6d 65 73 20 74 |ow, it a|ssumes t|
|00001f50| 68 65 20 63 6f 6d 6d 61 | 6e 64 20 6f 72 20 65 6e |he comma|nd or en|
|00001f60| 76 69 72 6f 6e 6d 65 6e | 74 20 68 61 73 20 6e 6f |vironmen|t has no|
|00001f70| 20 61 72 67 75 6d 65 6e | 74 73 2c 20 61 6e 64 0a | argumen|ts, and.|
|00001f80| 70 72 69 6e 74 73 20 61 | 20 77 61 72 6e 69 6e 67 |prints a| warning|
|00001f90| 3a 0a 0a 5c 62 65 67 69 | 6e 7b 63 6f 64 65 7d 0a |:..\begi|n{code}.|
|00001fa0| 5b 57 41 52 4e 49 4e 47 | 3a 20 55 6e 6b 6e 6f 77 |[WARNING|: Unknow|
|00001fb0| 6e 20 63 6f 6d 6d 61 6e | 64 3a 20 5c 67 6e 61 74 |n comman|d: \gnat|
|00001fc0| 5d 0a 5b 57 41 52 4e 49 | 4e 47 3a 20 75 6e 64 65 |].[WARNI|NG: unde|
|00001fd0| 66 69 6e 65 64 20 65 6e | 76 69 72 6f 6e 6d 65 6e |fined en|vironmen|
|00001fe0| 74 3a 20 67 6e 75 5d 0a | 5c 65 6e 64 7b 63 6f 64 |t: gnu].|\end{cod|
|00001ff0| 65 7d 0a 0a 53 65 65 20 | 5c 73 65 63 72 65 66 7b |e}..See |\secref{|
|00002000| 65 78 74 65 6e 64 69 6e | 67 7d 20 66 6f 72 20 64 |extendin|g} for d|
|00002010| 65 66 69 6e 69 6e 67 20 | 74 68 65 73 65 20 63 6f |efining |these co|
|00002020| 6d 6d 61 6e 64 73 2e 0a | 0a 4e 65 78 74 2c 20 74 |mmands..|.Next, t|
|00002030| 68 65 72 65 20 61 72 65 | 20 77 61 72 6e 69 6e 67 |here are| warning|
|00002040| 73 20 69 73 73 75 65 64 | 20 62 79 20 74 68 65 20 |s issued| by the |
|00002050| 74 72 61 6e 73 6c 61 74 | 6f 72 2e 20 20 49 66 20 |translat|or. If |
|00002060| 61 20 63 6f 6d 6d 61 6e | 64 20 63 6f 75 6c 64 0a |a comman|d could.|
|00002070| 6e 6f 72 20 62 65 20 74 | 72 61 6e 73 6c 61 74 65 |nor be t|ranslate|
|00002080| 64 2c 20 69 74 20 77 69 | 6c 6c 20 70 72 69 6e 74 |d, it wi|ll print|
|00002090| 20 61 20 6d 65 73 73 61 | 67 65 20 6f 66 20 74 68 | a messa|ge of th|
|000020a0| 65 20 66 6f 72 6d 3a 0a | 0a 5c 62 65 67 69 6e 7b |e form:.|.\begin{|
|000020b0| 63 6f 64 65 7d 0a 46 61 | 69 6c 65 64 20 74 6f 20 |code}.Fa|iled to |
|000020c0| 74 72 61 6e 73 6c 61 74 | 65 20 5c 67 6e 61 74 20 |translat|e \gnat |
|000020d0| 69 6e 20 6d 6f 64 65 20 | 22 64 6f 63 75 6d 65 6e |in mode |"documen|
|000020e0| 74 22 0a 54 65 72 6d 3a | 20 22 67 6e 61 74 22 0a |t".Term:| "gnat".|
|000020f0| 5c 65 6e 64 7b 63 6f 64 | 65 7d 0a 0a 49 66 20 74 |\end{cod|e}..If t|
|00002100| 68 69 73 20 68 61 70 70 | 65 6e 73 2c 20 74 68 65 |his happ|ens, the|
|00002110| 20 64 65 66 69 6e 69 74 | 69 6f 6e 20 6f 66 20 63 | definit|ion of c|
|00002120| 6d 64 2f 5b 32 2d 34 5d | 20 73 68 6f 75 6c 64 20 |md/[2-4]| should |
|00002130| 62 65 20 64 65 62 75 67 | 67 65 64 2c 20 6f 72 0a |be debug|ged, or.|
|00002140| 65 78 74 65 6e 64 65 64 | 20 74 6f 20 64 65 61 6c |extended| to deal|
|00002150| 20 77 69 74 68 20 74 68 | 65 20 63 6f 6d 6d 61 6e | with th|e comman|
|00002160| 64 2e 20 20 54 68 65 20 | 63 6f 6d 6d 61 6e 64 20 |d. The |command |
|00002170| 77 69 6c 6c 20 62 65 20 | 69 67 6e 6f 72 65 64 2e |will be |ignored.|
|00002180| 0a 49 66 20 61 6e 20 65 | 6e 76 69 72 6f 6e 6d 65 |.If an e|nvironme|
|00002190| 6e 74 20 63 6f 75 6c 64 | 20 6e 6f 74 20 62 65 20 |nt could| not be |
|000021a0| 70 72 6f 63 65 73 73 65 | 64 20 74 68 65 20 65 6e |processe|d the en|
|000021b0| 76 2f 32 20 63 6f 6d 6d | 61 6e 64 20 73 68 6f 75 |v/2 comm|and shou|
|000021c0| 6c 64 0a 62 65 20 64 65 | 62 75 67 67 65 64 20 6f |ld.be de|bugged o|
|000021d0| 72 20 65 78 74 65 6e 64 | 65 64 2e 20 20 54 68 65 |r extend|ed. The|
|000021e0| 20 77 61 72 6e 69 6e 67 | 20 69 73 3a 0a 0a 5c 62 | warning| is:..\b|
|000021f0| 65 67 69 6e 7b 63 6f 64 | 65 7d 0a 74 72 61 6e 73 |egin{cod|e}.trans|
|00002200| 6c 61 74 65 5f 32 28 65 | 6e 76 28 67 6e 75 2c 20 |late_2(e|nv(gnu, |
|00002210| 5b 5d 2c 20 5b 5c 70 61 | 72 5d 29 2c 20 64 6f 63 |[], [\pa|r]), doc|
|00002220| 75 6d 65 6e 74 2c 20 2e | 2e 2e 29 20 66 61 69 6c |ument, .|..) fail|
|00002230| 65 64 0a 5c 65 6e 64 7b | 63 6f 64 65 7d 0a 0a 49 |ed.\end{|code}..I|
|00002240| 66 20 61 6e 20 48 54 4d | 4c 20 6d 61 63 72 6f 20 |f an HTM|L macro |
|00002250| 63 6f 75 6c 64 20 6e 6f | 74 20 62 65 20 65 78 70 |could no|t be exp|
|00002260| 61 6e 64 65 64 2c 20 74 | 68 65 20 64 65 66 69 6e |anded, t|he defin|
|00002270| 69 74 69 6f 6e 20 6f 66 | 0a 5c 70 72 65 64 72 65 |ition of|.\predre|
|00002280| 66 7b 23 7d 7b 32 7d 20 | 73 68 6f 75 6c 64 20 62 |f{#}{2} |should b|
|00002290| 65 20 65 78 61 6d 69 6e | 65 64 2e 20 54 68 65 20 |e examin|ed. The |
|000022a0| 73 79 73 74 65 6d 20 77 | 69 6c 6c 20 77 61 72 6e |system w|ill warn|
|000022b0| 3a 0a 0a 5c 62 65 67 69 | 6e 7b 63 6f 64 65 7d 0a |:..\begi|n{code}.|
|000022c0| 50 6f 73 74 2d 70 72 6f | 63 65 73 73 69 6e 67 20 |Post-pro|cessing |
|000022d0| 6d 61 63 72 6f 20 23 67 | 6e 75 73 2f 31 20 63 6f |macro #g|nus/1 co|
|000022e0| 75 6c 64 20 6e 6f 74 20 | 62 65 20 65 78 70 61 6e |uld not |be expan|
|000022f0| 64 65 64 2e 0a 5c 65 6e | 64 7b 63 6f 64 65 7d 0a |ded..\en|d{code}.|
|00002300| 0a 46 69 6e 61 6c 6c 79 | 2c 20 69 66 20 6c 6f 63 |.Finally|, if loc|
|00002310| 61 6c 20 6c 61 62 65 6c | 73 20 63 6f 75 6c 64 20 |al label|s could |
|00002320| 6e 6f 74 20 62 65 20 72 | 65 73 6f 6c 76 65 64 2c |not be r|esolved,|
|00002330| 20 6d 65 73 73 61 67 65 | 73 20 6f 66 20 74 68 65 | message|s of the|
|00002340| 20 66 6f 72 6d 61 74 0a | 62 65 6c 6f 77 20 77 69 | format.|below wi|
|00002350| 6c 6c 20 62 65 20 70 72 | 69 6e 74 65 64 3a 0a 0a |ll be pr|inted:..|
|00002360| 5c 62 65 67 69 6e 7b 63 | 6f 64 65 7d 0a 4e 6f 20 |\begin{c|ode}.No |
|00002370| 6c 61 62 65 6c 20 66 6f | 72 20 72 65 66 65 72 65 |label fo|r refere|
|00002380| 6e 63 65 20 22 73 65 63 | 3a 73 75 6d 6d 61 72 79 |nce "sec|:summary|
|00002390| 22 0a 5c 65 6e 64 7b 63 | 6f 64 65 7d 0a 0a 0a 5c |".\end{c|ode}...\|
|000023a0| 73 65 63 74 69 6f 6e 7b | 45 78 74 65 6e 64 69 6e |section{|Extendin|
|000023b0| 67 20 74 68 65 20 74 72 | 61 6e 73 6c 61 74 6f 72 |g the tr|anslator|
|000023c0| 7d 09 09 5c 6c 61 62 65 | 6c 7b 73 65 63 3a 65 78 |}..\labe|l{sec:ex|
|000023d0| 74 65 6e 64 69 6e 67 7d | 0a 0a 54 68 69 73 20 73 |tending}|..This s|
|000023e0| 65 63 74 69 6f 6e 20 64 | 65 66 69 6e 65 73 20 68 |ection d|efines h|
|000023f0| 6f 77 20 74 68 65 20 74 | 72 61 6e 73 6c 61 74 6f |ow the t|ranslato|
|00002400| 72 20 6d 61 79 20 62 65 | 20 70 72 6f 67 72 61 6d |r may be| program|
|00002410| 6d 65 64 2e 20 20 49 74 | 20 64 65 66 69 6e 65 73 |med. It| defines|
|00002420| 20 74 68 65 0a 68 6f 6f | 6b 20 70 72 65 64 69 63 | the.hoo|k predic|
|00002430| 61 74 65 73 20 61 76 61 | 69 6c 61 62 6c 65 20 74 |ates ava|ilable t|
|00002440| 6f 20 61 6e 20 65 78 74 | 65 6e 73 69 6f 6e 20 6d |o an ext|ension m|
|00002450| 6f 64 75 6c 65 2c 20 61 | 73 20 77 65 6c 6c 20 61 |odule, a|s well a|
|00002460| 73 20 74 68 65 20 67 65 | 6e 65 72 69 63 0a 74 72 |s the ge|neric.tr|
|00002470| 61 6e 73 6c 61 74 69 6f | 6e 20 70 72 65 64 69 63 |anslatio|n predic|
|00002480| 61 74 65 73 20 74 68 61 | 74 20 6d 61 79 20 62 65 |ates tha|t may be|
|00002490| 20 63 61 6c 6c 65 64 20 | 66 72 6f 6d 20 75 73 65 | called |from use|
|000024a0| 72 2d 64 65 66 69 6e 65 | 64 20 68 6f 6f 6b 73 2e |r-define|d hooks.|
|000024b0| 20 20 46 69 72 73 74 2c | 0a 77 65 20 65 78 70 6c | First,|.we expl|
|000024c0| 61 69 6e 20 68 6f 77 20 | 61 6e 20 65 78 74 65 6e |ain how |an exten|
|000024d0| 73 69 6f 6e 20 69 73 20 | 64 65 63 6c 61 72 65 64 |sion is |declared|
|000024e0| 2e 0a 0a 4e 6f 72 6d 61 | 6c 6c 79 2c 20 61 20 64 |...Norma|lly, a d|
|000024f0| 6f 63 75 6d 65 6e 74 20 | 72 65 71 75 69 72 69 6e |ocument |requirin|
|00002500| 67 20 61 64 64 69 74 69 | 6f 6e 61 6c 20 73 74 72 |g additi|onal str|
|00002510| 75 63 74 75 72 69 6e 67 | 20 4c 61 54 65 58 20 6d |ucturing| LaTeX m|
|00002520| 61 63 72 6f 73 20 77 69 | 6c 6c 0a 73 74 61 72 74 |acros wi|ll.start|
|00002530| 20 6c 69 6b 65 20 74 68 | 69 73 3a 0a 0a 5c 62 65 | like th|is:..\be|
|00002540| 67 69 6e 7b 76 65 72 62 | 61 74 69 6d 7d 0a 5c 64 |gin{verb|atim}.\d|
|00002550| 6f 63 75 6d 65 6e 74 63 | 6c 61 73 73 5b 31 31 70 |ocumentc|lass[11p|
|00002560| 74 5d 7b 61 72 74 69 63 | 6c 65 7d 0a 5c 75 73 65 |t]{artic|le}.\use|
|00002570| 70 61 63 6b 61 67 65 7b | 6d 79 6d 61 63 72 6f 73 |package{|mymacros|
|00002580| 7d 0a 0a 3c 70 72 65 61 | 6d 62 6c 65 20 63 6f 6d |}..<prea|mble com|
|00002590| 6d 61 6e 64 73 3e 0a 0a | 5c 62 65 67 69 6e 7b 64 |mands>..|\begin{d|
|000025a0| 6f 63 75 6d 65 6e 74 7d | 0a 0a 3c 64 6f 63 75 6d |ocument}|..<docum|
|000025b0| 65 6e 74 20 63 6f 6e 74 | 65 6e 74 73 3e 0a 0a 5c |ent cont|ents>..\|
|000025c0| 65 6e 64 7b 64 6f 63 75 | 6d 65 6e 74 7d 0a 5c 65 |end{docu|ment}.\e|
|000025d0| 6e 64 7b 76 65 72 62 61 | 74 69 6d 7d 0a 0a 54 68 |nd{verba|tim}..Th|
|000025e0| 65 20 66 69 6c 65 20 5c | 66 69 6c 65 7b 6d 79 6d |e file \|file{mym|
|000025f0| 61 63 72 6f 73 2e 73 74 | 79 7d 20 77 69 6c 6c 20 |acros.st|y} will |
|00002600| 69 6e 63 6c 75 64 65 20 | 61 64 64 69 74 69 6f 6e |include |addition|
|00002610| 61 6c 20 70 61 63 6b 61 | 67 65 73 20 72 65 71 75 |al packa|ges requ|
|00002620| 69 72 65 64 2c 0a 64 65 | 64 69 63 61 74 65 64 20 |ired,.de|dicated |
|00002630| 73 74 79 6c 65 20 73 65 | 74 74 69 6e 67 73 2c 20 |style se|ttings, |
|00002640| 73 74 72 75 63 74 75 72 | 69 6e 67 20 6d 61 63 72 |structur|ing macr|
|00002650| 6f 73 2c 20 65 74 63 2e | 20 54 68 65 20 6c 61 74 |os, etc.| The lat|
|00002660| 65 78 32 74 68 6d 6c 0a | 74 72 61 6e 73 6c 61 74 |ex2thml.|translat|
|00002670| 6f 72 20 77 69 6c 6c 20 | 6e 6f 74 20 65 78 61 6d |or will |not exam|
|00002680| 69 6e 65 20 74 68 65 20 | 63 6f 6e 74 65 6e 74 73 |ine the |contents|
|00002690| 20 6f 66 20 74 68 69 73 | 20 66 69 6c 65 2e 20 49 | of this| file. I|
|000026a0| 6e 73 74 65 61 64 2c 20 | 69 74 20 77 69 6c 6c 0a |nstead, |it will.|
|000026b0| 73 65 61 72 63 68 20 66 | 6f 72 20 5c 66 69 6c 65 |search f|or \file|
|000026c0| 7b 6d 79 6d 61 63 72 6f | 73 2e 70 6c 7d 20 74 6f |{mymacro|s.pl} to|
|000026d0| 20 66 69 6e 64 20 61 20 | 50 72 6f 6c 6f 67 20 6d | find a |Prolog m|
|000026e0| 6f 64 75 6c 65 20 64 65 | 66 69 6e 69 6e 67 20 74 |odule de|fining t|
|000026f0| 68 65 0a 61 64 64 69 74 | 69 6f 6e 61 6c 20 74 72 |he.addit|ional tr|
|00002700| 61 6e 73 6c 61 74 69 6f | 6e 20 72 75 6c 65 73 2e |anslatio|n rules.|
|00002710| 20 49 74 20 77 69 6c 6c | 20 66 69 72 73 74 20 75 | It will| first u|
|00002720| 73 65 20 74 68 65 20 5c | 63 6f 6e 73 74 7b 74 65 |se the \|const{te|
|00002730| 78 7d 20 70 61 74 68 0a | 61 6c 69 61 73 2c 20 61 |x} path.|alias, a|
|00002740| 6e 64 20 74 68 65 6e 20 | 74 72 79 20 74 68 65 20 |nd then |try the |
|00002750| 5c 63 6f 6e 73 74 7b 6c | 69 62 72 61 72 79 7d 20 |\const{l|ibrary} |
|00002760| 70 61 74 68 20 61 6c 69 | 61 73 2e 20 49 66 20 73 |path ali|as. If s|
|00002770| 75 63 63 65 73 73 66 75 | 6c 2c 20 74 68 69 73 0a |uccessfu|l, this.|
|00002780| 66 69 6c 65 20 77 69 6c | 6c 20 62 65 20 6c 6f 61 |file wil|l be loa|
|00002790| 64 65 64 20 69 6e 74 6f | 20 74 68 65 20 5c 63 6f |ded into| the \co|
|000027a0| 6e 73 74 7b 75 73 65 72 | 7d 20 6d 6f 64 75 6c 65 |nst{user|} module|
|000027b0| 20 75 73 69 6e 67 20 74 | 68 65 20 50 72 6f 6c 6f | using t|he Prolo|
|000027c0| 67 0a 70 72 65 64 69 63 | 61 74 65 20 65 6e 73 75 |g.predic|ate ensu|
|000027d0| 72 65 5f 6c 6f 61 64 65 | 64 2f 31 2e 20 20 49 66 |re_loade|d/1. If|
|000027e0| 20 74 68 65 20 66 69 6c | 65 20 63 61 6e 6e 6f 74 | the fil|e cannot|
|000027f0| 20 62 65 20 6c 6f 63 61 | 74 65 64 2c 20 69 74 20 | be loca|ted, it |
|00002800| 69 73 0a 73 69 6c 65 6e | 74 6c 79 20 69 67 6e 6f |is.silen|tly igno|
|00002810| 72 65 64 2e 0a 0a 54 68 | 65 20 74 79 70 69 63 61 |red...Th|e typica|
|00002820| 6c 20 73 74 72 75 63 74 | 75 72 65 20 6f 66 20 74 |l struct|ure of t|
|00002830| 68 65 20 65 78 74 65 6e | 73 69 6f 6e 20 66 69 6c |he exten|sion fil|
|00002840| 65 20 69 73 3a 0a 0a 5c | 62 65 67 69 6e 7b 76 65 |e is:..\|begin{ve|
|00002850| 72 62 61 74 69 6d 7d 0a | 3c 66 69 6c 65 20 68 65 |rbatim}.|<file he|
|00002860| 61 64 65 72 3e 0a 3a 2d | 20 6d 6f 64 75 6c 65 28 |ader>.:-| module(|
|00002870| 3c 4d 6f 64 75 6c 65 20 | 4e 61 6d 65 3e 2c 20 5b |<Module |Name>, [|
|00002880| 5d 29 2e 0a 3a 2d 20 75 | 73 65 5f 6d 6f 64 75 6c |])..:- u|se_modul|
|00002890| 65 28 6c 69 62 72 61 72 | 79 28 6c 61 74 65 78 32 |e(librar|y(latex2|
|000028a0| 68 74 6d 6c 29 29 2e 0a | 0a 3a 2d 20 6c 61 74 65 |html))..|.:- late|
|000028b0| 78 32 68 74 6d 6c 5f 6d | 6f 64 75 6c 65 2e 0a 3a |x2html_m|odule..:|
|000028c0| 2d 20 74 65 78 5f 6c 6f | 61 64 5f 63 6f 6d 6d 61 |- tex_lo|ad_comma|
|000028d0| 6e 64 73 28 70 6c 29 2e | 0a 0a 3c 63 6c 61 75 73 |nds(pl).|..<claus|
|000028e0| 65 73 20 66 6f 72 20 74 | 68 65 20 65 78 74 65 6e |es for t|he exten|
|000028f0| 73 69 6f 6e 20 68 6f 6f | 6b 73 3e 0a 0a 5c 65 6e |sion hoo|ks>..\en|
|00002900| 64 7b 76 65 72 62 61 74 | 69 6d 7d 0a 0a 54 68 65 |d{verbat|im}..The|
|00002910| 20 64 69 72 65 63 74 69 | 76 65 20 6c 61 74 65 78 | directi|ve latex|
|00002920| 32 68 74 6d 6c 5f 6d 6f | 64 75 6c 65 2f 30 20 72 |2html_mo|dule/0 r|
|00002930| 65 67 69 73 74 65 72 73 | 20 74 68 65 20 6d 6f 64 |egisters| the mod|
|00002940| 75 6c 65 20 61 73 20 61 | 20 6d 6f 64 75 6c 65 0a |ule as a| module.|
|00002950| 63 6f 6e 74 61 69 6e 69 | 6e 67 20 61 64 64 69 74 |containi|ng addit|
|00002960| 69 6f 6e 61 6c 20 72 75 | 6c 65 73 20 66 6f 72 20 |ional ru|les for |
|00002970| 6c 61 74 65 78 32 68 74 | 6d 6c 2e 20 54 68 65 73 |latex2ht|ml. Thes|
|00002980| 65 20 72 75 6c 65 73 20 | 77 69 6c 6c 20 62 65 20 |e rules |will be |
|00002990| 74 72 69 65 64 0a 7b 5c | 65 6d 20 62 65 66 6f 72 |tried.{\|em befor|
|000029a0| 65 7d 20 61 6e 79 20 6f | 74 68 65 72 20 72 75 6c |e} any o|ther rul|
|000029b0| 65 73 2e 20 41 6c 74 65 | 72 6e 61 74 69 76 65 73 |es. Alte|rnatives|
|000029c0| 20 6e 65 65 64 20 6e 6f | 74 20 62 65 20 63 75 74 | need no|t be cut|
|000029d0| 20 6f 6e 20 61 6e 79 20 | 6f 66 20 74 68 65 0a 68 | on any |of the.h|
|000029e0| 6f 6f 6b 20 70 72 65 64 | 69 63 61 74 65 73 2c 20 |ook pred|icates, |
|000029f0| 61 73 20 74 68 69 73 20 | 69 73 20 64 6f 6e 65 20 |as this |is done |
|00002a00| 69 6d 6d 65 64 69 61 74 | 65 6c 79 20 62 79 20 74 |immediat|ely by t|
|00002a10| 68 65 20 74 72 61 6e 73 | 6c 61 74 6f 72 73 20 6d |he trans|lators m|
|00002a20| 61 69 6e 0a 63 6f 6e 74 | 72 6f 6c 20 6c 6f 6f 70 |ain.cont|rol loop|
|00002a30| 2e 20 49 66 20 79 6f 75 | 20 77 61 6e 74 20 74 6f |. If you| want to|
|00002a40| 20 72 65 64 65 66 69 6e | 65 20 61 20 72 75 6c 65 | redefin|e a rule|
|00002a50| 20 6f 6e 6c 79 20 75 6e | 64 65 72 20 73 70 65 63 | only un|der spec|
|00002a60| 69 66 69 63 0a 63 69 72 | 63 75 6d 73 74 61 6e 63 |ific.cir|cumstanc|
|00002a70| 65 73 2c 20 73 69 6d 70 | 6c 79 20 6d 61 6b 65 20 |es, simp|ly make |
|00002a80| 73 75 72 65 20 74 68 65 | 20 63 6c 61 75 73 65 20 |sure the| clause |
|00002a90| 6f 6e 6c 79 20 73 75 63 | 63 65 65 64 73 20 69 6e |only suc|ceeds in|
|00002aa0| 20 74 68 6f 73 65 20 63 | 61 73 65 73 0a 74 68 61 | those c|ases.tha|
|00002ab0| 74 20 72 65 64 65 66 69 | 6e 69 74 69 6f 6e 20 69 |t redefi|nition i|
|00002ac0| 73 20 64 65 73 69 72 65 | 64 2e 20 49 74 20 69 73 |s desire|d. It is|
|00002ad0| 20 67 65 6e 65 72 61 6c | 6c 79 20 6e 6f 74 20 28 | general|ly not (|
|00002ae0| 79 65 74 29 20 70 6f 73 | 73 69 62 6c 65 20 74 6f |yet) pos|sible to|
|00002af0| 0a 60 77 72 61 70 27 20 | 74 68 65 20 65 78 69 73 |.`wrap' |the exis|
|00002b00| 74 69 6e 67 20 74 72 61 | 6e 73 6c 61 74 69 6f 6e |ting tra|nslation|
|00002b10| 20 72 75 6c 65 2e 0a 0a | 49 74 20 69 73 20 6e 6f | rule...|It is no|
|00002b20| 74 20 72 65 71 75 69 72 | 65 64 20 74 6f 20 64 65 |t requir|ed to de|
|00002b30| 66 69 6e 65 20 63 6c 61 | 75 73 65 73 20 66 6f 72 |fine cla|uses for|
|00002b40| 20 61 6c 6c 20 65 78 74 | 65 6e 73 69 6f 6e 20 68 | all ext|ension h|
|00002b50| 6f 6f 6b 73 2e 0a 0a 5c | 73 75 62 73 65 63 74 69 |ooks...\|subsecti|
|00002b60| 6f 6e 7b 53 70 65 63 69 | 66 79 69 6e 67 20 74 68 |on{Speci|fying th|
|00002b70| 65 20 4c 61 54 65 58 20 | 73 79 6e 74 61 78 20 66 |e LaTeX |syntax f|
|00002b80| 6f 72 20 74 68 65 20 74 | 6f 6b 65 6e 69 73 65 72 |or the t|okeniser|
|00002b90| 7d 20 5c 6c 61 62 65 6c | 7b 73 65 63 3a 63 6d 64 |} \label|{sec:cmd|
|00002ba0| 73 70 65 63 7d 0a 0a 54 | 68 65 20 43 2d 64 65 66 |spec}..T|he C-def|
|00002bb0| 69 6e 65 64 20 4c 61 54 | 65 58 20 74 6f 6b 65 6e |ined LaT|eX token|
|00002bc0| 69 73 65 72 20 6e 65 65 | 64 73 20 74 6f 20 6b 6e |iser nee|ds to kn|
|00002bd0| 6f 77 20 61 62 6f 75 74 | 20 74 68 65 20 61 72 67 |ow about| the arg|
|00002be0| 75 6d 65 6e 74 20 73 79 | 6e 74 61 78 0a 66 6f 72 |ument sy|ntax.for|
|00002bf0| 20 65 61 63 68 20 6f 66 | 20 74 68 65 20 4c 61 54 | each of| the LaT|
|00002c00| 65 58 20 63 6f 6d 6d 61 | 6e 64 73 20 75 73 65 64 |eX comma|nds used|
|00002c10| 20 69 6e 20 74 68 65 20 | 64 6f 63 75 6d 65 6e 74 | in the |document|
|00002c20| 2e 20 20 54 68 65 20 73 | 79 6e 74 61 78 20 6f 66 |. The s|yntax of|
|00002c30| 0a 63 6f 6d 6d 61 6e 64 | 73 20 69 73 20 64 65 66 |.command|s is def|
|00002c40| 69 6e 65 64 20 69 6e 20 | 5c 66 69 6c 65 65 78 74 |ined in |\fileext|
|00002c50| 7b 63 6d 64 7d 20 66 69 | 6c 65 73 2e 20 20 54 68 |{cmd} fi|les. Th|
|00002c60| 65 20 69 6e 69 74 69 61 | 6c 20 64 65 66 69 6e 69 |e initia|l defini|
|00002c70| 74 69 6f 6e 0a 69 73 20 | 69 6e 20 74 68 65 20 66 |tion.is |in the f|
|00002c80| 69 6c 65 20 5c 66 69 6c | 65 7b 6c 61 74 65 78 2e |ile \fil|e{latex.|
|00002c90| 63 6d 64 7d 2e 0a 0a 42 | 6c 61 6e 6b 20 73 70 61 |cmd}...B|lank spa|
|00002ca0| 63 65 20 69 73 20 69 67 | 6e 6f 72 65 64 2c 20 61 |ce is ig|nored, a|
|00002cb0| 6e 64 20 74 68 65 20 5c | 25 20 73 69 67 6e 20 73 |nd the \|% sign s|
|00002cc0| 74 61 72 74 73 20 61 20 | 63 6f 6d 6d 65 6e 74 20 |tarts a |comment |
|00002cd0| 66 69 65 6c 64 20 74 68 | 61 74 0a 6c 61 73 74 73 |field th|at.lasts|
|00002ce0| 20 74 69 6c 6c 20 74 68 | 65 20 65 6e 64 20 6f 66 | till th|e end of|
|00002cf0| 20 74 68 65 20 63 75 72 | 72 65 6e 74 20 6c 69 6e | the cur|rent lin|
|00002d00| 65 2c 20 6a 75 73 74 20 | 61 73 20 77 69 74 68 20 |e, just |as with |
|00002d10| 4c 61 54 65 58 20 69 74 | 73 65 6c 66 2e 0a 0a 41 |LaTeX it|self...A|
|00002d20| 20 63 6f 6d 6d 61 6e 64 | 20 64 65 63 6c 61 72 65 | command| declare|
|00002d30| 64 20 75 73 69 6e 67 20 | 61 20 6c 69 6e 65 20 6f |d using |a line o|
|00002d40| 66 20 74 68 65 20 66 6f | 72 6d 3a 0a 0a 5c 62 65 |f the fo|rm:..\be|
|00002d50| 67 69 6e 7b 74 61 62 75 | 6c 61 72 7d 7b 6c 72 6c |gin{tabu|lar}{lrl|
|00002d60| 6c 7d 0a 3c 63 6f 6d 6d | 61 6e 64 3e 09 5c 69 73 |l}.<comm|and>.\is|
|00002d70| 61 20 5c 63 6f 6e 73 74 | 7b 5c 7d 3c 6e 61 6d 65 |a \const|{\}<name|
|00002d80| 3e 20 7b 20 3c 61 72 67 | 3e 20 7d 20 5b 5c 63 6f |> { <arg|> } [\co|
|00002d90| 6e 73 74 7b 3d 7d 3c 63 | 6d 64 66 75 6e 63 3e 5d |nst{=}<c|mdfunc>]|
|00002da0| 20 26 20 5c 5c 0a 3c 61 | 72 67 3e 09 09 5c 69 73 | & \\.<a|rg>..\is|
|00002db0| 61 20 5c 76 65 72 62 24 | 7b 24 20 3c 74 79 70 65 |a \verb$|{$ <type|
|00002dc0| 3e 20 5c 76 65 72 62 24 | 7d 24 20 26 20 5c 5c 0a |> \verb$|}$ & \\.|
|00002dd0| 09 09 5c 6f 72 61 20 5c | 63 6f 6e 73 74 7b 5b 7d |..\ora \|const{[}|
|00002de0| 20 20 3c 74 79 70 65 3e | 20 5c 63 6f 6e 73 74 7b | <type>| \const{|
|00002df0| 5d 7d 20 20 26 20 5c 5c | 0a 3c 74 79 70 65 3e 09 |]} & \\|.<type>.|
|00002e00| 09 5c 69 73 61 20 5c 63 | 6f 6e 73 74 7b 2d 7d 20 |.\isa \c|onst{-} |
|00002e10| 26 20 44 6f 20 6e 6f 74 | 20 74 6f 6b 65 6e 69 73 |& Do not| tokenis|
|00002e20| 65 20 5c 5c 0a 09 09 5c | 6f 72 61 20 5c 63 6f 6e |e \\...\|ora \con|
|00002e30| 73 74 7b 2b 7d 20 26 20 | 54 6f 6b 65 6e 69 73 65 |st{+} & |Tokenise|
|00002e40| 20 61 72 67 75 6d 65 6e | 74 20 5c 5c 0a 09 09 5c | argumen|t \\...\|
|00002e50| 6f 72 61 20 5c 63 6f 6e | 73 74 7b 64 7d 20 26 20 |ora \con|st{d} & |
|00002e60| 41 72 67 75 6d 65 6e 74 | 20 69 73 20 61 20 64 69 |Argument| is a di|
|00002e70| 6d 65 6e 73 69 6f 6e 20 | 5c 5c 0a 3c 63 6d 64 66 |mension |\\.<cmdf|
|00002e80| 75 6e 63 3e 09 5c 69 73 | 61 20 5c 63 6f 6e 73 74 |unc>.\is|a \const|
|00002e90| 7b 76 65 72 62 7d 20 26 | 20 41 63 74 20 61 73 20 |{verb} &| Act as |
|00002ea0| 5c 74 65 78 63 6d 64 7b | 76 65 72 62 7d 20 5c 5c |\texcmd{|verb} \\|
|00002eb0| 0a 09 09 5c 6f 72 61 20 | 5c 63 6f 6e 73 74 7b 62 |...\ora |\const{b|
|00002ec0| 65 67 69 6e 7d 20 26 20 | 41 63 74 20 61 73 20 5c |egin} & |Act as \|
|00002ed0| 74 65 78 63 6d 64 7b 62 | 65 67 69 6e 7d 20 5c 5c |texcmd{b|egin} \\|
|00002ee0| 0a 09 09 5c 6f 72 61 20 | 5c 63 6f 6e 73 74 7b 65 |...\ora |\const{e|
|00002ef0| 6e 64 7d 20 26 20 41 63 | 74 20 61 73 20 5c 74 65 |nd} & Ac|t as \te|
|00002f00| 78 63 6d 64 7b 65 6e 64 | 7d 20 5c 5c 0a 09 09 5c |xcmd{end|} \\...\|
|00002f10| 6f 72 61 20 5c 63 6f 6e | 73 74 7b 69 74 65 6d 7d |ora \con|st{item}|
|00002f20| 20 26 20 53 65 70 61 72 | 61 74 65 20 69 74 65 6d | & Separ|ate item|
|00002f30| 73 20 69 6e 20 61 20 6c | 69 73 74 20 5c 5c 0a 09 |s in a l|ist \\..|
|00002f40| 09 5c 6f 72 61 20 5c 63 | 6f 6e 73 74 7b 70 72 6f |.\ora \c|onst{pro|
|00002f50| 6c 6f 67 7d 20 26 20 43 | 61 6c 6c 20 70 72 6f 6c |log} & C|all prol|
|00002f60| 6f 67 5f 66 75 6e 63 74 | 69 6f 6e 2f 31 20 69 6d |og_funct|ion/1 im|
|00002f70| 6d 65 64 69 61 74 65 6c | 79 20 5c 5c 0a 5c 65 6e |mediatel|y \\.\en|
|00002f80| 64 7b 74 61 62 75 6c 61 | 72 7d 0a 0a 41 6e 20 65 |d{tabula|r}..An e|
|00002f90| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 64 65 63 6c 61 |nvironme|nt decla|
|00002fa0| 72 61 74 69 6f 6e 20 69 | 73 20 6f 66 20 74 68 65 |ration i|s of the|
|00002fb0| 20 66 6f 72 6d 3a 0a 0a | 5c 62 65 67 69 6e 7b 74 | form:..|\begin{t|
|00002fc0| 61 62 75 6c 61 72 7d 7b | 6c 72 6c 6c 7d 0a 3c 65 |abular}{|lrll}.<e|
|00002fd0| 6e 76 69 72 6f 6e 6d 65 | 6e 74 3e 09 5c 69 73 61 |nvironme|nt>.\isa|
|00002fe0| 20 5c 76 65 72 62 24 7b | 24 20 3c 6e 61 6d 65 3e | \verb${|$ <name>|
|00002ff0| 20 5c 76 65 72 62 24 7d | 24 20 5b 5c 63 6f 6e 73 | \verb$}|$ [\cons|
|00003000| 74 7b 3d 7d 3c 65 6e 76 | 66 75 6e 63 3e 5d 20 26 |t{=}<env|func>] &|
|00003010| 20 5c 5c 0a 3c 65 6e 76 | 66 75 6e 63 3e 09 5c 69 | \\.<env|func>.\i|
|00003020| 73 61 20 5c 63 6f 6e 73 | 74 7b 76 65 72 62 61 74 |sa \cons|t{verbat|
|00003030| 69 6d 7d 20 26 20 41 63 | 74 20 61 73 20 61 20 76 |im} & Ac|t as a v|
|00003040| 65 72 62 61 74 69 6d 20 | 65 6e 76 69 72 6f 6e 6d |erbatim |environm|
|00003050| 65 6e 74 20 5c 5c 0a 09 | 09 5c 6f 72 61 20 5c 63 |ent \\..|.\ora \c|
|00003060| 6f 6e 73 74 7b 6c 69 73 | 74 7d 20 26 20 4d 79 20 |onst{lis|t} & My |
|00003070| 62 6f 64 79 20 63 6f 6e | 73 69 73 74 73 20 6f 66 |body con|sists of|
|00003080| 20 69 74 65 6d 73 20 5c | 5c 0a 09 09 5c 6f 72 61 | items \|\...\ora|
|00003090| 20 5c 63 6f 6e 73 74 7b | 66 6c 6f 61 74 7d 20 26 | \const{|float} &|
|000030a0| 20 49 20 61 6d 20 61 20 | 66 6c 6f 61 74 69 6e 67 | I am a |floating|
|000030b0| 20 65 6e 76 69 72 6f 6e | 6d 65 6e 74 0a 5c 65 6e | environ|ment.\en|
|000030c0| 64 7b 74 61 62 75 6c 61 | 72 7d 0a 0a 43 6f 6d 6d |d{tabula|r}..Comm|
|000030d0| 61 6e 64 20 73 70 65 63 | 69 66 69 63 61 74 69 6f |and spec|ificatio|
|000030e0| 6e 20 66 69 6c 65 73 20 | 61 72 65 20 6e 6f 72 6d |n files |are norm|
|000030f0| 61 6c 6c 79 20 6c 6f 61 | 64 65 64 20 66 72 6f 6d |ally loa|ded from|
|00003100| 20 74 68 65 20 50 72 6f | 6c 6f 67 20 65 78 74 65 | the Pro|log exte|
|00003110| 6e 73 69 6f 6e 0a 66 69 | 6c 65 73 20 75 73 69 6e |nsion.fi|les usin|
|00003120| 67 20 74 68 65 20 70 72 | 65 64 69 63 61 74 65 20 |g the pr|edicate |
|00003130| 74 65 78 5f 6c 6f 61 64 | 5f 63 6f 6d 6d 61 6e 64 |tex_load|_command|
|00003140| 73 2f 31 2e 0a 0a 0a 5c | 73 75 62 73 65 63 74 69 |s/1....\|subsecti|
|00003150| 6f 6e 7b 54 68 65 20 48 | 54 4d 4c 20 74 6f 6b 65 |on{The H|TML toke|
|00003160| 6e 20 6c 69 73 74 7d 09 | 09 5c 6c 61 62 65 6c 7b |n list}.|.\label{|
|00003170| 73 65 63 3a 68 74 6d 6c | 74 6f 6b 65 6e 73 7d 0a |sec:html|tokens}.|
|00003180| 0a 54 68 65 20 6f 75 74 | 70 75 74 20 6f 66 20 74 |.The out|put of t|
|00003190| 68 65 20 74 72 61 6e 73 | 6c 61 74 6f 72 20 69 73 |he trans|lator is|
|000031a0| 20 61 20 6c 69 73 74 20 | 6f 66 20 48 54 4d 4c 20 | a list |of HTML |
|000031b0| 74 6f 6b 65 6e 73 2e 20 | 54 68 69 73 20 73 65 63 |tokens. |This sec|
|000031c0| 74 69 6f 6e 0a 64 65 73 | 63 72 69 62 65 73 20 74 |tion.des|cribes t|
|000031d0| 68 65 20 74 6f 6b 65 6e | 73 20 74 68 61 74 20 61 |he token|s that a|
|000031e0| 72 65 20 72 65 63 6f 67 | 6e 69 73 65 64 20 62 79 |re recog|nised by|
|000031f0| 20 74 68 65 20 70 72 65 | 74 74 79 20 70 72 69 6e | the pre|tty prin|
|00003200| 74 65 72 2e 0a 0a 5c 62 | 65 67 69 6e 7b 64 65 73 |ter...\b|egin{des|
|00003210| 63 72 69 70 74 69 6f 6e | 7d 0a 20 20 20 20 5c 74 |cription|}. \t|
|00003220| 65 72 6d 69 74 65 6d 7b | 68 74 6d 6c 7d 7b 43 6f |ermitem{|html}{Co|
|00003230| 6d 6d 61 6e 64 7d 0a 4c | 69 74 65 72 61 6c 6c 79 |mmand}.L|iterally|
|00003240| 20 6f 75 74 70 75 74 73 | 20 74 68 65 20 67 69 76 | outputs| the giv|
|00003250| 65 6e 20 63 6f 6d 6d 61 | 6e 64 2e 20 4e 6f 20 73 |en comma|nd. No s|
|00003260| 70 61 63 65 73 20 61 72 | 65 20 69 6e 73 65 72 74 |paces ar|e insert|
|00003270| 65 64 20 69 6e 20 74 68 | 65 0a 6f 75 74 70 75 74 |ed in th|e.output|
|00003280| 2c 20 6e 65 69 74 68 65 | 72 20 62 65 66 6f 72 65 |, neithe|r before|
|00003290| 20 6e 6f 72 20 61 66 74 | 65 72 20 74 68 65 20 63 | nor aft|er the c|
|000032a0| 6f 6d 6d 61 6e 64 2e 0a | 20 20 20 20 5c 74 65 72 |ommand..| \ter|
|000032b0| 6d 69 74 65 6d 7b 72 65 | 66 7d 7b 4c 61 62 65 6c |mitem{re|f}{Label|
|000032c0| 7d 0a 45 78 70 61 6e 64 | 73 20 74 6f 20 74 68 65 |}.Expand|s to the|
|000032d0| 20 6e 75 6d 62 65 72 20 | 61 73 73 6f 63 69 61 74 | number |associat|
|000032e0| 65 64 20 77 69 74 68 20 | 5c 61 72 67 7b 4c 61 62 |ed with |\arg{Lab|
|000032f0| 65 6c 7d 2e 20 20 54 68 | 75 73 2c 20 69 66 20 5c |el}. Th|us, if \|
|00003300| 61 72 67 7b 4c 61 62 65 | 6c 7d 0a 61 70 70 65 61 |arg{Labe|l}.appea|
|00003310| 72 65 64 20 69 6e 20 61 | 20 73 65 63 74 69 6f 6e |red in a| section|
|00003320| 2c 20 74 68 69 73 20 69 | 73 20 74 68 65 20 73 65 |, this i|s the se|
|00003330| 63 74 69 6f 6e 20 6e 75 | 6d 62 65 72 2e 20 20 49 |ction nu|mber. I|
|00003340| 66 20 5c 61 72 67 7b 4c | 61 62 65 6c 7d 0a 61 70 |f \arg{L|abel}.ap|
|00003350| 70 65 61 72 65 64 20 69 | 6e 20 61 20 66 69 67 75 |peared i|n a figu|
|00003360| 72 65 20 6f 72 20 74 61 | 62 6c 65 2c 20 74 68 69 |re or ta|ble, thi|
|00003370| 73 20 69 73 20 74 68 65 | 20 6e 75 6d 62 65 72 20 |s is the| number |
|00003380| 6f 66 20 74 68 65 20 66 | 69 67 75 72 65 20 6f 72 |of the f|igure or|
|00003390| 0a 74 61 62 6c 65 2e 0a | 20 20 20 20 5c 74 65 72 |.table..| \ter|
|000033a0| 6d 69 74 65 6d 7b 6c 61 | 62 65 6c 7d 7b 4c 61 62 |mitem{la|bel}{Lab|
|000033b0| 65 6c 2c 20 54 65 78 74 | 2c 20 52 65 66 7d 0a 4f |el, Text|, Ref}.O|
|000033c0| 75 74 70 75 74 73 20 5c | 65 78 61 6d 7b 3c 41 20 |utputs \|exam{<A |
|000033d0| 4e 41 4d 45 3d 22 5c 61 | 72 67 7b 4c 61 62 65 6c |NAME="\a|rg{Label|
|000033e0| 7d 22 3e 5c 61 72 67 7b | 54 65 78 74 7d 3c 2f 41 |}">\arg{|Text}</A|
|000033f0| 3e 7d 2e 0a 20 20 20 20 | 5c 74 65 72 6d 69 74 65 |>}.. |\termite|
|00003400| 6d 7b 6c 72 65 66 7d 7b | 4c 61 62 65 6c 2c 20 54 |m{lref}{|Label, T|
|00003410| 65 78 74 7d 0a 4f 75 74 | 70 75 74 73 20 5c 65 78 |ext}.Out|puts \ex|
|00003420| 61 6d 7b 3c 41 20 48 52 | 45 46 3d 22 3c 46 69 6c |am{<A HR|EF="<Fil|
|00003430| 65 3e 5c 23 5c 61 72 67 | 7b 4c 61 62 65 6c 7d 22 |e>\#\arg|{Label}"|
|00003440| 3e 5c 61 72 67 7b 54 65 | 78 74 7d 3c 2f 41 3e 7d |>\arg{Te|xt}</A>}|
|00003450| 2e 20 20 3c 46 69 6c 65 | 3e 0a 69 73 20 74 68 65 |. <File|>.is the|
|00003460| 20 66 69 6c 65 20 74 6f | 20 77 68 69 63 68 20 74 | file to| which t|
|00003470| 68 65 20 73 65 63 74 69 | 6f 6e 20 63 6f 6e 74 61 |he secti|on conta|
|00003480| 69 6e 69 6e 67 20 5c 61 | 72 67 7b 4c 61 62 65 6c |ining \a|rg{Label|
|00003490| 7d 20 68 61 73 20 62 65 | 65 6e 20 28 6f 72 0a 77 |} has be|en (or.w|
|000034a0| 69 6c 6c 20 62 65 29 20 | 77 72 69 74 74 65 6e 2e |ill be) |written.|
|000034b0| 20 20 53 65 65 20 6c 61 | 62 65 6c 2f 33 2e 0a 20 | See la|bel/3.. |
|000034c0| 20 20 20 5c 74 65 72 6d | 69 74 65 6d 7b 6c 72 65 | \term|item{lre|
|000034d0| 66 7d 7b 66 69 6c 65 6f | 66 28 4c 61 62 65 6c 29 |f}{fileo|f(Label)|
|000034e0| 2c 20 54 65 78 74 7d 0a | 4f 75 74 70 75 74 73 20 |, Text}.|Outputs |
|000034f0| 5c 65 78 61 6d 7b 3c 41 | 20 48 52 45 46 3d 22 3c |\exam{<A| HREF="<|
|00003500| 46 69 6c 65 3e 22 3e 5c | 61 72 67 7b 54 65 78 74 |File>">\|arg{Text|
|00003510| 7d 3c 2f 41 3e 7d 2e 20 | 20 3c 46 69 6c 65 3e 0a |}</A>}. | <File>.|
|00003520| 69 73 20 74 68 65 20 66 | 69 6c 65 20 74 6f 20 77 |is the f|ile to w|
|00003530| 68 69 63 68 20 74 68 65 | 20 73 65 63 74 69 6f 6e |hich the| section|
|00003540| 20 63 6f 6e 74 61 69 6e | 69 6e 67 20 5c 61 72 67 | contain|ing \arg|
|00003550| 7b 4c 61 62 65 6c 7d 20 | 68 61 73 20 62 65 65 6e |{Label} |has been|
|00003560| 20 28 6f 72 0a 77 69 6c | 6c 20 62 65 29 20 77 72 | (or.wil|l be) wr|
|00003570| 69 74 74 65 6e 2e 20 20 | 53 65 65 20 6c 61 62 65 |itten. |See labe|
|00003580| 6c 2f 33 2e 0a 20 20 20 | 20 5c 74 65 72 6d 69 74 |l/3.. | \termit|
|00003590| 65 6d 7b 69 66 6c 72 65 | 66 7d 7b 41 72 67 7d 0a |em{iflre|f}{Arg}.|
|000035a0| 41 73 20 5c 74 65 72 6d | 7b 6c 72 65 66 7d 7b 41 |As \term|{lref}{A|
|000035b0| 72 67 7d 2c 20 62 75 74 | 20 65 6d 69 74 73 20 6e |rg}, but| emits n|
|000035c0| 6f 74 68 69 6e 67 20 69 | 66 20 74 68 65 20 6c 61 |othing i|f the la|
|000035d0| 62 65 6c 20 69 73 20 6e | 6f 74 20 64 65 66 69 6e |bel is n|ot defin|
|000035e0| 65 64 2e 20 46 6f 72 0a | 65 78 61 6d 70 6c 65 2c |ed. For.|example,|
|000035f0| 20 74 68 65 20 70 61 67 | 65 2d 68 65 61 64 65 72 | the pag|e-header|
|00003600| 20 75 73 65 73 20 74 68 | 69 73 20 63 6f 6e 73 74 | uses th|is const|
|00003610| 72 75 63 74 20 74 6f 20 | 72 65 66 65 72 20 74 6f |ruct to |refer to|
|00003620| 20 74 6f 20 74 61 62 6c | 65 20 6f 66 0a 63 6f 6e | to tabl|e of.con|
|00003630| 74 65 6e 74 73 2c 20 74 | 68 65 20 73 75 6d 6d 61 |tents, t|he summa|
|00003640| 72 79 20 61 6e 64 20 74 | 68 65 20 69 6e 64 65 78 |ry and t|he index|
|00003650| 2e 20 49 66 20 6f 6e 65 | 20 6f 66 20 74 68 65 73 |. If one| of thes|
|00003660| 65 20 64 6f 65 73 20 6e | 6f 74 20 65 78 69 73 74 |e does n|ot exist|
|00003670| 2c 20 74 68 65 0a 63 6f | 72 72 65 73 70 6f 6e 64 |, the.co|rrespond|
|00003680| 69 6e 67 20 6c 69 6e 6b | 20 69 73 20 6e 6f 74 20 |ing link| is not |
|00003690| 63 72 65 61 74 65 64 2e | 0a 20 20 20 20 5c 74 65 |created.|. \te|
|000036a0| 72 6d 69 74 65 6d 7b 6c | 66 6f 72 77 7d 7b 4c 61 |rmitem{l|forw}{La|
|000036b0| 62 65 6c 2c 20 54 65 78 | 74 7d 0a 43 72 65 61 74 |bel, Tex|t}.Creat|
|000036c0| 65 73 20 61 6e 20 61 6e | 63 68 6f 72 2c 20 6a 75 |es an an|chor, ju|
|000036d0| 73 74 20 6c 69 6b 65 20 | 5c 66 75 6e 63 74 6f 72 |st like |\functor|
|000036e0| 7b 6c 72 65 66 7d 7b 32 | 7d 2c 20 62 75 74 20 67 |{lref}{2|}, but g|
|000036f0| 69 76 65 73 20 74 68 65 | 20 61 6e 63 68 6f 72 20 |ives the| anchor |
|00003700| 74 68 65 0a 61 74 74 72 | 69 62 75 74 65 20 5c 65 |the.attr|ibute \e|
|00003710| 78 61 6d 7b 4e 41 4d 45 | 3d 22 62 61 63 6b 2d 74 |xam{NAME|="back-t|
|00003720| 6f 2d 5c 61 72 67 7b 4c | 61 62 65 6c 7d 22 7d 2e |o-\arg{L|abel}"}.|
|00003730| 20 54 6f 67 65 74 68 65 | 72 20 77 69 74 68 0a 5c | Togethe|r with.\|
|00003740| 66 75 6e 63 74 6f 72 7b | 6c 62 61 63 6b 7d 7b 32 |functor{|lback}{2|
|00003750| 7d 2c 20 74 68 69 73 20 | 66 6f 72 6d 73 20 61 20 |}, this |forms a |
|00003760| 5c 69 64 78 7b 62 69 2d | 64 69 72 65 63 74 69 6f |\idx{bi-|directio|
|00003770| 6e 61 6c 20 6c 69 6e 6b | 7d 20 62 65 74 77 65 65 |nal link|} betwee|
|00003780| 6e 20 74 77 6f 0a 61 6e | 63 68 6f 72 73 2e 0a 20 |n two.an|chors.. |
|00003790| 20 20 20 5c 74 65 72 6d | 69 74 65 6d 7b 6c 62 61 | \term|item{lba|
|000037a0| 63 6b 7d 7b 4c 61 62 65 | 6c 2c 20 54 65 78 74 7d |ck}{Labe|l, Text}|
|000037b0| 0a 54 68 65 20 6f 74 68 | 65 72 20 65 6e 64 20 6f |.The oth|er end o|
|000037c0| 66 20 74 68 65 20 5c 66 | 75 6e 63 74 6f 72 7b 6c |f the \f|unctor{l|
|000037d0| 66 6f 72 77 7d 7b 32 7d | 20 6c 69 6e 6b 2e 20 20 |forw}{2}| link. |
|000037e0| 49 74 20 69 73 20 75 73 | 65 64 20 66 6f 72 20 68 |It is us|ed for h|
|000037f0| 61 6e 64 6c 69 6e 67 0a | 66 6f 6f 74 6e 6f 74 65 |andling.|footnote|
|00003800| 73 2e 0a 20 20 20 20 5c | 74 65 72 6d 69 74 65 6d |s.. \|termitem|
|00003810| 7b 63 69 74 65 7d 7b 4b | 65 79 7d 0a 54 72 61 6e |{cite}{K|ey}.Tran|
|00003820| 73 6c 61 74 65 64 20 66 | 72 6f 6d 20 74 68 65 20 |slated f|rom the |
|00003830| 4c 61 54 65 58 20 5c 74 | 65 78 63 6d 64 7b 63 69 |LaTeX \t|excmd{ci|
|00003840| 74 65 7d 20 63 6f 6d 6d | 61 6e 64 2e 20 49 74 20 |te} comm|and. It |
|00003850| 77 69 6c 6c 20 6c 6f 6f | 6b 75 70 0a 5c 61 72 67 |will loo|kup.\arg|
|00003860| 7b 4b 65 79 7d 20 69 6e | 20 74 68 65 20 63 69 74 |{Key} in| the cit|
|00003870| 65 2f 32 20 70 72 65 64 | 69 63 61 74 65 2c 20 61 |e/2 pred|icate, a|
|00003880| 6e 64 20 65 6d 69 74 20 | 74 68 65 20 6c 61 62 65 |nd emit |the labe|
|00003890| 6c 20 66 6f 72 20 74 68 | 65 20 6b 65 79 2c 0a 72 |l for th|e key,.r|
|000038a0| 61 74 68 65 72 20 74 68 | 65 6e 20 74 68 65 20 6b |ather th|en the k|
|000038b0| 65 79 20 69 74 73 65 6c | 66 2e 20 20 54 68 65 20 |ey itsel|f. The |
|000038c0| 6f 75 74 70 75 74 20 66 | 6f 72 6d 61 74 20 64 65 |output f|ormat de|
|000038d0| 70 65 6e 64 73 20 6f 6e | 20 74 68 65 20 42 69 62 |pends on| the Bib|
|000038e0| 54 65 58 0a 73 74 79 6c | 65 20 75 73 65 64 2e 0a |TeX.styl|e used..|
|000038f0| 20 20 20 20 5c 74 65 72 | 6d 69 74 65 6d 7b 79 65 | \ter|mitem{ye|
|00003900| 61 72 63 69 74 65 7d 7b | 4b 65 79 7d 0a 41 73 20 |arcite}{|Key}.As |
|00003910| 5c 74 65 72 6d 7b 63 69 | 74 65 7d 7b 4b 65 79 7d |\term{ci|te}{Key}|
|00003920| 2c 20 62 75 74 20 6f 6e | 6c 79 20 65 6d 69 74 73 |, but on|ly emits|
|00003930| 20 74 68 65 20 79 65 61 | 72 20 6f 66 20 74 68 65 | the yea|r of the|
|00003940| 20 6c 61 62 65 6c 2e 0a | 20 20 20 20 5c 74 65 72 | label..| \ter|
|00003950| 6d 69 74 65 6d 7b 74 61 | 62 6c 65 6f 66 63 6f 6e |mitem{ta|bleofcon|
|00003960| 74 65 6e 74 73 7d 7b 64 | 6f 63 75 6d 65 6e 74 7d |tents}{d|ocument}|
|00003970| 0a 45 6d 69 74 73 20 74 | 68 65 20 65 6e 74 69 72 |.Emits t|he entir|
|00003980| 65 20 74 61 62 6c 65 20 | 6f 66 20 63 6f 6e 74 65 |e table |of conte|
|00003990| 6e 74 73 20 6f 66 20 74 | 68 65 20 64 6f 63 75 6d |nts of t|he docum|
|000039a0| 65 6e 74 20 69 6e 20 74 | 68 69 73 20 70 6c 61 63 |ent in t|his plac|
|000039b0| 65 2e 0a 20 20 20 20 5c | 74 65 72 6d 69 74 65 6d |e.. \|termitem|
|000039c0| 7b 74 61 62 6c 65 6f 66 | 63 6f 6e 74 65 6e 74 73 |{tableof|contents|
|000039d0| 7d 7b 73 65 63 74 69 6f | 6e 28 5c 61 72 67 7b 54 |}{sectio|n(\arg{T|
|000039e0| 61 67 7d 29 7d 0a 45 6d | 69 74 73 20 74 68 65 20 |ag})}.Em|its the |
|000039f0| 74 61 62 6c 65 20 6f 66 | 20 63 6f 6e 74 65 6e 74 |table of| content|
|00003a00| 73 20 6f 66 20 61 6c 6c | 20 73 75 62 73 65 63 74 |s of all| subsect|
|00003a10| 69 6f 6e 73 20 6f 66 20 | 74 68 65 20 69 6e 64 69 |ions of |the indi|
|00003a20| 63 61 74 65 64 20 73 65 | 63 74 69 6f 6e 2e 0a 4e |cated se|ction..N|
|00003a30| 6f 72 6d 61 6c 6c 79 20 | 75 73 65 64 20 74 6f 20 |ormally |used to |
|00003a40| 63 72 65 61 74 65 20 74 | 68 65 20 66 6f 6f 74 65 |create t|he foote|
|00003a50| 72 20 66 6f 72 20 73 65 | 63 74 69 6f 6e 73 20 74 |r for se|ctions t|
|00003a60| 68 61 74 20 68 61 76 65 | 20 73 75 62 73 65 63 74 |hat have| subsect|
|00003a70| 69 6f 6e 73 2e 0a 20 20 | 20 20 5c 74 65 72 6d 69 |ions.. | \termi|
|00003a80| 74 65 6d 7b 74 65 6c 6c | 7d 7b 46 69 6c 65 42 61 |tem{tell|}{FileBa|
|00003a90| 73 65 4e 61 6d 65 7d 0a | 44 69 76 65 72 74 20 66 |seName}.|Divert f|
|00003aa0| 75 72 74 68 65 72 20 6f | 75 74 70 75 74 20 74 6f |urther o|utput to|
|00003ab0| 20 74 68 65 20 6e 61 6d | 65 64 20 66 69 6c 65 2e | the nam|ed file.|
|00003ac0| 20 20 5c 61 72 67 7b 46 | 69 6c 65 42 61 73 65 4e | \arg{F|ileBaseN|
|00003ad0| 61 6d 65 7d 20 69 73 20 | 6f 6e 6c 79 0a 74 68 65 |ame} is |only.the|
|00003ae0| 20 62 61 73 65 6e 61 6d | 65 20 6f 66 20 74 68 65 | basenam|e of the|
|00003af0| 20 6f 75 74 70 75 74 20 | 66 69 6c 65 2c 20 69 2e | output |file, i.|
|00003b00| 65 2e 20 77 69 74 68 6f | 75 74 20 74 72 61 69 6c |e. witho|ut trail|
|00003b10| 69 6e 67 20 5c 66 69 6c | 65 65 78 74 7b 68 74 6d |ing \fil|eext{htm|
|00003b20| 6c 7d 0a 6f 72 20 6c 65 | 61 64 69 6e 67 20 64 69 |l}.or le|ading di|
|00003b30| 72 65 63 74 6f 72 79 2e | 20 20 54 68 69 73 20 69 |rectory.| This i|
|00003b40| 73 20 74 68 65 20 6f 6e | 6c 79 20 77 61 79 20 74 |s the on|ly way t|
|00003b50| 6f 20 73 77 69 74 63 68 | 20 6f 75 74 70 75 74 20 |o switch| output |
|00003b60| 66 69 6c 65 73 2e 0a 54 | 68 65 20 6f 75 74 70 75 |files..T|he outpu|
|00003b70| 74 20 69 73 20 73 63 61 | 6e 6e 65 64 20 66 6f 72 |t is sca|nned for|
|00003b80| 20 66 75 6e 63 74 6f 72 | 7b 74 65 6c 6c 7d 7b 31 | functor|{tell}{1|
|00003b90| 7d 20 74 65 72 6d 73 20 | 61 6e 64 20 5c 66 75 6e |} terms |and \fun|
|00003ba0| 63 74 6f 72 7b 6c 61 62 | 65 6c 7d 7b 33 7d 0a 74 |ctor{lab|el}{3}.t|
|00003bb0| 65 72 6d 73 20 66 6f 72 | 20 62 75 69 6c 64 69 6e |erms for| buildin|
|00003bc0| 67 20 74 68 65 20 6c 61 | 62 65 6c 2f 33 20 70 72 |g the la|bel/3 pr|
|00003bd0| 65 64 69 63 61 74 65 2c | 20 77 68 69 63 68 20 69 |edicate,| which i|
|00003be0| 6e 20 74 75 72 6e 20 69 | 73 20 75 73 65 64 20 66 |n turn i|s used f|
|00003bf0| 6f 72 0a 6f 75 74 70 75 | 74 74 69 6e 67 20 74 68 |or.outpu|tting th|
|00003c00| 65 20 70 72 6f 70 65 72 | 20 72 65 66 65 72 65 6e |e proper| referen|
|00003c10| 63 65 20 6e 61 6d 65 73 | 20 66 6f 72 20 6c 61 62 |ce names| for lab|
|00003c20| 65 6c 73 2e 0a 20 20 20 | 20 5c 74 65 72 6d 69 74 |els.. | \termit|
|00003c30| 65 6d 7b 76 65 72 62 7d | 7b 54 65 78 74 7d 0a 4f |em{verb}|{Text}.O|
|00003c40| 75 74 70 75 74 20 5c 61 | 72 67 7b 54 65 78 74 7d |utput \a|rg{Text}|
|00003c50| 20 77 69 74 68 6f 75 74 | 20 61 6e 79 20 69 6e 74 | without| any int|
|00003c60| 65 72 70 72 65 74 61 74 | 69 6f 6e 20 6f 66 20 73 |erpretat|ion of s|
|00003c70| 70 61 63 65 73 20 61 6e | 64 20 6e 65 77 6c 69 6e |paces an|d newlin|
|00003c80| 65 73 2e 0a 54 68 65 20 | 48 54 4d 4c 20 73 70 65 |es..The |HTML spe|
|00003c90| 63 69 61 6c 20 63 68 61 | 72 61 63 74 65 72 73 20 |cial cha|racters |
|00003ca0| 28 5c 76 65 72 62 24 3c | 3e 26 24 29 20 61 72 65 |(\verb$<|>&$) are|
|00003cb0| 20 61 75 74 6f 6d 61 74 | 69 63 61 6c 6c 79 20 6d | automat|ically m|
|00003cc0| 61 70 70 65 64 20 74 6f | 0a 74 68 65 20 72 65 71 |apped to|.the req|
|00003cd0| 75 69 72 65 64 20 65 73 | 63 61 70 65 20 73 65 71 |uired es|cape seq|
|00003ce0| 75 65 6e 63 65 73 2e 0a | 20 20 20 20 5c 74 65 72 |uences..| \ter|
|00003cf0| 6d 69 74 65 6d 7b 76 65 | 72 62 61 74 69 6d 7d 7b |mitem{ve|rbatim}{|
|00003d00| 54 65 78 74 7d 0a 53 61 | 6d 65 20 61 73 20 5c 66 |Text}.Sa|me as \f|
|00003d10| 75 6e 63 74 6f 72 7b 76 | 65 72 62 7d 7b 31 7d 2e |unctor{v|erb}{1}.|
|00003d20| 0a 20 20 20 20 5c 74 65 | 72 6d 69 74 65 6d 7b 6e |. \te|rmitem{n|
|00003d30| 6f 73 70 61 63 65 7d 7b | 41 74 6f 6d 7d 0a 4f 75 |ospace}{|Atom}.Ou|
|00003d40| 74 70 75 74 20 61 74 6f | 6d 2c 20 74 72 61 6e 73 |tput ato|m, trans|
|00003d50| 6c 61 74 69 6e 67 20 74 | 68 65 20 48 54 4d 4c 20 |lating t|he HTML |
|00003d60| 73 70 65 63 69 61 6c 20 | 63 68 61 72 61 63 74 65 |special |characte|
|00003d70| 72 73 2e 20 20 44 6f 20 | 6e 6f 74 20 69 6e 73 65 |rs. Do |not inse|
|00003d80| 72 74 0a 73 70 61 63 65 | 73 20 62 65 66 6f 72 65 |rt.space|s before|
|00003d90| 20 6f 72 20 61 66 74 65 | 72 20 74 68 65 20 77 6f | or afte|r the wo|
|00003da0| 72 64 2e 0a 20 20 20 20 | 5c 74 65 72 6d 69 74 65 |rd.. |\termite|
|00003db0| 6d 7b 3c 41 74 6f 6d 3e | 7d 7b 7d 0a 41 74 6f 6d |m{<Atom>|}{}.Atom|
|00003dc0| 73 20 6f 72 20 53 57 49 | 2d 50 72 6f 6c 6f 67 20 |s or SWI|-Prolog |
|00003dd0| 73 74 72 69 6e 67 73 20 | 61 72 65 20 74 72 65 61 |strings |are trea|
|00003de0| 74 65 64 20 61 73 20 61 | 20 7b 5c 65 6d 20 77 6f |ted as a| {\em wo|
|00003df0| 72 64 7d 2e 20 48 54 4d | 4c 20 73 70 65 63 69 61 |rd}. HTM|L specia|
|00003e00| 6c 0a 63 68 61 72 61 63 | 74 65 72 73 20 61 72 65 |l.charac|ters are|
|00003e10| 20 74 72 61 6e 73 6c 61 | 74 65 64 2e 20 49 66 20 | transla|ted. If |
|00003e20| 74 77 6f 20 77 6f 72 64 | 73 20 61 72 65 20 65 6d |two word|s are em|
|00003e30| 69 74 74 65 64 20 61 64 | 6a 65 63 65 6e 74 6c 79 |itted ad|jecently|
|00003e40| 2c 20 61 20 73 70 61 63 | 65 0a 6f 72 20 6e 65 77 |, a spac|e.or new|
|00003e50| 6c 69 6e 65 20 28 66 6f | 72 20 6c 69 6e 65 2d 77 |line (fo|r line-w|
|00003e60| 72 61 70 29 20 69 73 20 | 69 6e 73 65 72 74 65 64 |rap) is |inserted|
|00003e70| 20 62 65 74 77 65 65 6e | 20 74 68 65 6d 2e 20 4e | between| them. N|
|00003e80| 6f 20 73 70 61 63 65 73 | 20 61 72 65 0a 69 6e 73 |o spaces| are.ins|
|00003e90| 65 72 74 65 64 20 62 65 | 74 77 65 65 6e 20 61 6e |erted be|tween an|
|00003ea0| 79 20 6f 66 20 74 68 65 | 20 6f 74 68 65 72 20 66 |y of the| other f|
|00003eb0| 6f 72 6d 73 20 61 6e 64 | 20 61 20 77 6f 72 64 2e |orms and| a word.|
|00003ec0| 0a 5c 65 6e 64 7b 64 65 | 73 63 72 69 70 74 69 6f |.\end{de|scriptio|
|00003ed0| 6e 7d 0a 0a 0a 5c 73 75 | 62 73 65 63 74 69 6f 6e |n}...\su|bsection|
|00003ee0| 7b 54 68 65 20 6d 61 63 | 72 6f 20 65 78 70 61 6e |{The mac|ro expan|
|00003ef0| 64 65 72 7d 09 09 09 5c | 6c 61 62 65 6c 7b 73 65 |der}...\|label{se|
|00003f00| 63 3a 68 74 6d 6c 6d 61 | 63 72 6f 73 7d 0a 0a 54 |c:htmlma|cros}..T|
|00003f10| 68 65 20 6d 61 63 72 6f | 20 65 78 70 61 6e 64 65 |he macro| expande|
|00003f20| 72 20 69 73 20 69 6d 70 | 6c 65 6d 65 6e 74 65 64 |r is imp|lemented|
|00003f30| 20 62 79 20 6d 61 63 72 | 6f 5f 65 78 70 61 6e 64 | by macr|o_expand|
|00003f40| 2f 32 20 61 6e 64 20 69 | 73 20 63 61 6c 6c 65 64 |/2 and i|s called|
|00003f50| 20 62 79 0a 74 68 65 20 | 74 6f 70 6c 65 76 65 6c | by.the |toplevel|
|00003f60| 20 64 72 69 76 65 72 20 | 61 66 74 65 72 20 61 6e | driver |after an|
|00003f70| 79 20 73 75 63 63 65 73 | 73 66 75 6c 6c 79 20 74 |y succes|sfully t|
|00003f80| 72 61 6e 73 6c 61 74 65 | 64 20 63 6f 6d 6d 61 6e |ranslate|d comman|
|00003f90| 64 20 6f 72 0a 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |d or.env|ironment|
|00003fa0| 2e 0a 0a 5c 62 65 67 69 | 6e 7b 64 65 73 63 72 69 |...\begi|n{descri|
|00003fb0| 70 74 69 6f 6e 7d 0a 20 | 20 20 20 5c 70 72 65 64 |ption}. | \pred|
|00003fc0| 69 63 61 74 65 7b 6d 61 | 63 72 6f 5f 65 78 70 61 |icate{ma|cro_expa|
|00003fd0| 6e 64 7d 7b 32 7d 7b 2b | 49 6e 2c 20 2d 4f 75 74 |nd}{2}{+|In, -Out|
|00003fe0| 7d 0a 54 68 65 20 69 6e | 70 75 74 20 69 73 20 61 |}.The in|put is a|
|00003ff0| 20 28 6e 65 73 74 65 64 | 29 20 6c 69 73 74 20 6f | (nested|) list o|
|00004000| 72 20 61 20 73 69 6e 67 | 6c 65 20 48 54 4d 4c 20 |r a sing|le HTML |
|00004010| 74 6f 6b 65 6e 20 6f 72 | 20 61 20 6d 61 63 72 6f |token or| a macro|
|00004020| 0a 72 65 66 65 72 65 6e | 63 65 20 28 74 65 72 6d |.referen|ce (term|
|00004030| 73 20 6f 66 20 5c 66 75 | 6e 63 74 6f 72 7b 23 7d |s of \fu|nctor{#}|
|00004040| 7b 31 7d 2c 20 5c 66 75 | 6e 63 74 6f 72 7b 2b 7d |{1}, \fu|nctor{+}|
|00004050| 7b 31 7d 20 6f 72 20 5c | 66 75 6e 63 74 6f 72 7b |{1} or \|functor{|
|00004060| 2b 7d 7b 32 7d 29 2e 0a | 54 68 65 20 5c 61 72 67 |+}{2})..|The \arg|
|00004070| 7b 4f 75 74 7d 20 69 73 | 20 61 20 28 6e 65 73 74 |{Out} is| a (nest|
|00004080| 65 64 29 20 6c 69 73 74 | 20 6f 66 20 48 54 4d 4c |ed) list| of HTML|
|00004090| 20 74 6f 6b 65 6e 73 20 | 61 73 20 64 65 73 63 72 | tokens |as descr|
|000040a0| 69 62 65 64 20 69 6e 0a | 5c 73 65 63 72 65 66 7b |ibed in.|\secref{|
|000040b0| 68 74 6d 6c 74 6f 6b 65 | 6e 73 7d 2e 0a 5c 65 6e |htmltoke|ns}..\en|
|000040c0| 64 7b 64 65 73 63 72 69 | 70 74 69 6f 6e 7d 0a 0a |d{descri|ption}..|
|000040d0| 54 68 65 20 74 72 61 6e | 73 6c 61 74 6f 72 20 74 |The tran|slator t|
|000040e0| 72 61 6e 73 6c 61 74 65 | 73 20 74 65 72 6d 73 20 |ranslate|s terms |
|000040f0| 75 73 69 6e 67 20 74 68 | 65 20 66 6f 6c 6c 6f 77 |using th|e follow|
|00004100| 69 6e 67 20 73 79 6e 74 | 61 78 3a 0a 0a 5c 62 65 |ing synt|ax:..\be|
|00004110| 67 69 6e 7b 64 65 73 63 | 72 69 70 74 69 6f 6e 7d |gin{desc|ription}|
|00004120| 0a 20 20 20 20 5c 74 65 | 72 6d 69 74 65 6d 7b 2b |. \te|rmitem{+|
|00004130| 7d 7b 54 6f 6b 65 6e 73 | 7d 0a 5c 61 72 67 7b 54 |}{Tokens|}.\arg{T|
|00004140| 6f 6b 65 6e 73 7d 20 69 | 73 20 61 20 6c 69 73 74 |okens} i|s a list|
|00004150| 20 6f 66 20 72 61 77 20 | 4c 61 54 65 58 20 74 6f | of raw |LaTeX to|
|00004160| 6b 65 6e 73 2c 20 61 6e | 64 20 74 68 65 20 74 72 |kens, an|d the tr|
|00004170| 61 6e 73 6c 61 74 6f 72 | 20 69 73 0a 63 61 6c 6c |anslator| is.call|
|00004180| 65 64 20 72 65 63 75 72 | 73 69 76 65 6c 79 20 61 |ed recur|sively a|
|00004190| 73 20 5c 65 78 61 6d 7b | 74 72 61 6e 73 6c 61 74 |s \exam{|translat|
|000041a0| 65 28 5c 61 72 67 7b 54 | 6f 6b 65 6e 73 7d 2c 20 |e(\arg{T|okens}, |
|000041b0| 6e 6f 72 6d 61 6c 2c 20 | 5c 61 72 67 7b 4f 75 74 |normal, |\arg{Out|
|000041c0| 7d 29 7d 2e 0a 20 20 20 | 20 5c 74 65 72 6d 69 74 |})}.. | \termit|
|000041d0| 65 6d 7b 2b 7d 7b 4d 6f | 64 65 2c 20 54 6f 6b 65 |em{+}{Mo|de, Toke|
|000041e0| 6e 73 7d 0a 41 73 20 5c | 66 75 6e 63 74 6f 72 7b |ns}.As \|functor{|
|000041f0| 2b 7d 7b 31 7d 2c 20 74 | 72 61 6e 73 6c 61 74 69 |+}{1}, t|ranslati|
|00004200| 6e 67 20 69 6e 20 6d 6f | 64 65 20 5c 61 72 67 7b |ng in mo|de \arg{|
|00004210| 4d 6f 64 65 7d 20 72 61 | 74 68 65 72 20 74 68 65 |Mode} ra|ther the|
|00004220| 6e 0a 5c 63 6f 6e 73 74 | 7b 6e 6f 72 6d 61 6c 7d |n.\const|{normal}|
|00004230| 2e 0a 20 20 20 20 5c 74 | 65 72 6d 69 74 65 6d 7b |.. \t|ermitem{|
|00004240| 23 7d 7b 4d 61 63 72 6f | 43 61 6c 6c 7d 0a 43 61 |#}{Macro|Call}.Ca|
|00004250| 6c 6c 73 20 5c 70 72 65 | 64 72 65 66 7b 23 7d 7b |lls \pre|dref{#}{|
|00004260| 32 7d 20 74 6f 20 65 78 | 70 61 6e 64 20 74 68 65 |2} to ex|pand the|
|00004270| 20 6d 61 63 72 6f 2e 0a | 5c 65 6e 64 7b 64 65 73 | macro..|\end{des|
|00004280| 63 72 69 70 74 69 6f 6e | 7d 0a 0a 54 68 65 20 66 |cription|}..The f|
|00004290| 6f 6c 6c 6f 77 69 6e 67 | 20 6d 61 63 72 6f 73 20 |ollowing| macros |
|000042a0| 68 61 76 65 20 62 65 65 | 6e 20 70 72 65 64 65 66 |have bee|n predef|
|000042b0| 69 6e 65 64 3a 0a 0a 5c | 62 65 67 69 6e 7b 64 65 |ined:..\|begin{de|
|000042c0| 73 63 72 69 70 74 69 6f | 6e 7d 0a 20 20 20 20 5c |scriptio|n}. \|
|000042d0| 74 65 72 6d 69 74 65 6d | 7b 74 65 6c 6c 7d 7b 46 |termitem|{tell}{F|
|000042e0| 69 6c 65 7d 0a 49 66 20 | 5c 74 65 78 63 6d 64 7b |ile}.If |\texcmd{|
|000042f0| 6f 6e 65 66 69 6c 65 7d | 20 69 73 20 73 70 65 63 |onefile}| is spec|
|00004300| 69 66 69 65 64 20 69 6e | 20 74 68 65 20 68 65 61 |ified in| the hea|
|00004310| 64 65 72 2c 20 64 6f 20 | 6e 6f 74 68 69 6e 67 2c |der, do |nothing,|
|00004320| 20 65 6c 73 65 20 65 6d | 69 74 0a 5c 74 65 72 6d | else em|it.\term|
|00004330| 7b 74 65 6c 6c 7d 7b 46 | 69 6c 65 7d 20 74 6f 20 |{tell}{F|ile} to |
|00004340| 64 69 76 65 72 74 20 73 | 75 62 73 65 71 75 65 6e |divert s|ubsequen|
|00004350| 74 20 6f 75 74 70 75 74 | 20 74 6f 20 74 68 65 20 |t output| to the |
|00004360| 6e 61 6d 65 64 20 66 69 | 6c 65 2e 0a 20 20 20 20 |named fi|le.. |
|00004370| 5c 74 65 72 6d 69 74 65 | 6d 7b 74 68 65 74 69 74 |\termite|m{thetit|
|00004380| 6c 65 7d 7b 7d 0a 43 6f | 6e 74 61 69 6e 73 20 74 |le}{}.Co|ntains t|
|00004390| 68 65 20 64 6f 63 75 6d | 65 6e 74 20 74 69 74 6c |he docum|ent titl|
|000043a0| 65 20 64 65 66 69 6e 65 | 64 20 62 79 20 74 68 65 |e define|d by the|
|000043b0| 20 4c 61 54 65 58 20 5c | 74 65 78 63 6d 64 7b 74 | LaTeX \|texcmd{t|
|000043c0| 69 74 6c 65 7d 0a 63 6f | 6d 6d 61 6e 64 2e 0a 20 |itle}.co|mmand.. |
|000043d0| 20 20 20 5c 74 65 72 6d | 69 74 65 6d 7b 74 68 65 | \term|item{the|
|000043e0| 61 75 74 68 6f 72 7d 7b | 7d 0a 43 6f 6e 74 61 69 |author}{|}.Contai|
|000043f0| 6e 73 20 74 68 65 20 64 | 6f 63 75 6d 65 6e 74 20 |ns the d|ocument |
|00004400| 61 75 74 68 6f 72 20 64 | 65 66 69 6e 65 64 20 62 |author d|efined b|
|00004410| 79 20 74 68 65 20 4c 61 | 54 65 58 20 5c 74 65 78 |y the La|TeX \tex|
|00004420| 63 6d 64 7b 61 75 74 68 | 6f 72 7d 0a 63 6f 6d 6d |cmd{auth|or}.comm|
|00004430| 61 6e 64 2e 0a 20 20 20 | 20 5c 74 65 72 6d 69 74 |and.. | \termit|
|00004440| 65 6d 7b 74 69 74 6c 65 | 7d 7b 54 69 74 6c 65 7d |em{title|}{Title}|
|00004450| 0a 44 65 66 69 6e 65 73 | 20 74 68 65 20 48 54 4d |.Defines| the HTM|
|00004460| 4c 20 64 6f 63 75 6d 65 | 6e 74 20 74 69 74 6c 65 |L docume|nt title|
|00004470| 20 75 73 69 6e 67 20 74 | 68 65 20 5c 48 54 4d 4c | using t|he \HTML|
|00004480| 7b 54 49 54 4c 45 7d 20 | 74 61 67 2e 0a 20 20 20 |{TITLE} |tag.. |
|00004490| 20 5c 74 65 72 6d 69 74 | 65 6d 7b 64 65 66 69 74 | \termit|em{defit|
|000044a0| 65 6d 7d 7b 4c 61 62 65 | 6c 7d 0a 44 65 66 69 6e |em}{Labe|l}.Defin|
|000044b0| 69 74 69 6f 6e 2d 6c 69 | 73 74 20 69 74 65 6d 2e |ition-li|st item.|
|000044c0| 20 20 54 72 61 6e 73 6c | 61 74 65 73 20 74 6f 20 | Transl|ates to |
|000044d0| 5c 65 78 61 6d 7b 3c 50 | 3e 3c 44 54 3e 5c 61 72 |\exam{<P|><DT>\ar|
|000044e0| 67 7b 4c 61 62 65 6c 7d | 3c 44 44 3e 7d 2e 0a 20 |g{Label}|<DD>}.. |
|000044f0| 20 20 20 5c 74 65 72 6d | 69 74 65 6d 7b 76 61 72 | \term|item{var|
|00004500| 7d 7b 56 61 72 7d 0a 49 | 6e 64 69 63 61 74 65 73 |}{Var}.I|ndicates|
|00004510| 20 61 20 76 61 72 69 61 | 62 6c 65 2e 20 20 54 72 | a varia|ble. Tr|
|00004520| 61 6e 73 6c 61 74 65 73 | 20 74 6f 20 5c 65 78 61 |anslates| to \exa|
|00004530| 6d 7b 3c 56 41 52 3e 5c | 61 72 67 7b 56 61 72 7d |m{<VAR>\|arg{Var}|
|00004540| 3c 2f 56 41 52 3e 7d 2e | 0a 20 20 20 20 5c 74 65 |</VAR>}.|. \te|
|00004550| 72 6d 69 74 65 6d 7b 63 | 6f 64 65 7d 7b 54 65 78 |rmitem{c|ode}{Tex|
|00004560| 74 7d 0a 49 6e 64 69 63 | 61 74 65 73 20 63 6f 64 |t}.Indic|ates cod|
|00004570| 65 20 69 6e 20 72 75 6e | 6e 69 6e 67 20 74 65 78 |e in run|ning tex|
|00004580| 74 2e 20 54 72 61 6e 73 | 6c 61 74 65 73 20 74 6f |t. Trans|lates to|
|00004590| 20 5c 65 78 61 6d 7b 3c | 43 4f 44 45 3e 5c 61 72 | \exam{<|CODE>\ar|
|000045a0| 67 7b 54 65 78 74 7d 3c | 2f 43 4f 44 45 3e 7d 2e |g{Text}<|/CODE>}.|
|000045b0| 0a 20 20 20 20 5c 74 65 | 72 6d 69 74 65 6d 7b 70 |. \te|rmitem{p|
|000045c0| 72 65 7d 7b 54 65 78 74 | 7d 0a 50 72 65 66 6f 72 |re}{Text|}.Prefor|
|000045d0| 6d 61 74 74 65 64 20 6d | 75 6c 74 69 6c 69 6e 65 |matted m|ultiline|
|000045e0| 20 74 65 78 74 2e 20 54 | 72 61 6e 73 6c 61 74 65 | text. T|ranslate|
|000045f0| 73 20 74 6f 20 5c 65 78 | 61 6d 7b 3c 50 52 45 44 |s to \ex|am{<PRED|
|00004600| 3e 5c 61 72 67 7b 54 65 | 78 74 7d 3c 2f 50 52 45 |>\arg{Te|xt}</PRE|
|00004610| 3e 7d 2e 0a 20 20 20 20 | 5c 74 65 72 6d 69 74 65 |>}.. |\termite|
|00004620| 6d 7b 78 6d 70 7d 7b 54 | 65 78 74 7d 0a 50 72 65 |m{xmp}{T|ext}.Pre|
|00004630| 66 6f 72 6d 61 74 74 65 | 64 20 6d 75 6c 74 69 6c |formatte|d multil|
|00004640| 69 6e 65 20 65 78 61 6d | 70 6c 65 2e 20 54 72 61 |ine exam|ple. Tra|
|00004650| 6e 73 6c 61 74 65 73 20 | 74 6f 20 5c 65 78 61 6d |nslates |to \exam|
|00004660| 7b 3c 58 4d 50 3e 5c 61 | 72 67 7b 54 65 78 74 7d |{<XMP>\a|rg{Text}|
|00004670| 3c 2f 58 4d 50 3e 7d 2e | 0a 20 20 20 20 5c 74 65 |</XMP>}.|. \te|
|00004680| 72 6d 69 74 65 6d 7b 73 | 74 72 6f 6e 67 7d 7b 54 |rmitem{s|trong}{T|
|00004690| 65 78 74 7d 0a 45 6d 69 | 74 20 5c 61 72 67 7b 54 |ext}.Emi|t \arg{T|
|000046a0| 65 78 74 7d 20 61 73 20 | 65 78 74 72 61 20 65 6d |ext} as |extra em|
|000046b0| 70 68 61 73 69 7a 65 64 | 20 74 65 78 74 20 28 6e |phasized| text (n|
|000046c0| 6f 72 6d 61 6c 6c 79 20 | 70 72 69 6e 74 65 64 20 |ormally |printed |
|000046d0| 7b 5c 62 66 20 62 6f 6c | 64 7d 29 2e 0a 54 72 61 |{\bf bol|d})..Tra|
|000046e0| 6e 73 6c 61 74 65 73 20 | 74 6f 20 5c 65 78 61 6d |nslates |to \exam|
|000046f0| 7b 3c 53 54 52 4f 4e 47 | 3e 5c 61 72 67 7b 54 65 |{<STRONG|>\arg{Te|
|00004700| 78 74 7d 3c 2f 53 54 52 | 4f 4e 47 3e 7d 2e 0a 20 |xt}</STR|ONG>}.. |
|00004710| 20 20 20 5c 74 65 72 6d | 69 74 65 6d 7b 65 6d 7d | \term|item{em}|
|00004720| 7b 54 65 78 74 7d 0a 45 | 6d 69 74 20 5c 61 72 67 |{Text}.E|mit \arg|
|00004730| 7b 54 65 78 74 7d 20 61 | 73 20 65 6d 70 68 61 73 |{Text} a|s emphas|
|00004740| 69 7a 65 64 20 74 65 78 | 74 20 28 6e 6f 72 6d 61 |ized tex|t (norma|
|00004750| 6c 6c 79 20 70 72 69 6e | 74 65 64 20 7b 5c 65 6d |lly prin|ted {\em|
|00004760| 20 69 74 61 6c 69 63 7d | 29 2e 0a 54 72 61 6e 73 | italic}|)..Trans|
|00004770| 6c 61 74 65 73 20 74 6f | 20 5c 65 78 61 6d 7b 3c |lates to| \exam{<|
|00004780| 45 4d 3e 5c 61 72 67 7b | 54 65 78 74 7d 3c 2f 45 |EM>\arg{|Text}</E|
|00004790| 4d 3e 7d 2e 0a 20 20 20 | 20 5c 74 65 72 6d 69 74 |M>}.. | \termit|
|000047a0| 65 6d 7b 62 7d 7b 54 65 | 78 74 7d 0a 45 6d 69 74 |em{b}{Te|xt}.Emit|
|000047b0| 20 5c 61 72 67 7b 54 65 | 78 74 7d 20 61 73 20 62 | \arg{Te|xt} as b|
|000047c0| 6f 6c 64 20 74 65 78 74 | 2e 20 54 72 61 6e 73 6c |old text|. Transl|
|000047d0| 61 74 65 73 20 74 6f 20 | 5c 65 78 61 6d 7b 3c 42 |ates to |\exam{<B|
|000047e0| 3e 5c 61 72 67 7b 54 65 | 78 74 7d 3c 2f 42 3e 7d |>\arg{Te|xt}</B>}|
|000047f0| 2e 0a 20 20 20 20 5c 74 | 65 72 6d 69 74 65 6d 7b |.. \t|ermitem{|
|00004800| 69 7d 7b 54 65 78 74 7d | 0a 45 6d 69 74 20 5c 61 |i}{Text}|.Emit \a|
|00004810| 72 67 7b 54 65 78 74 7d | 20 61 73 20 69 74 61 6c |rg{Text}| as ital|
|00004820| 69 63 20 74 65 78 74 2e | 20 54 72 61 6e 73 6c 61 |ic text.| Transla|
|00004830| 74 65 73 20 74 6f 20 5c | 65 78 61 6d 7b 3c 49 3e |tes to \|exam{<I>|
|00004840| 5c 61 72 67 7b 54 65 78 | 74 7d 3c 2f 49 3e 7d 2e |\arg{Tex|t}</I>}.|
|00004850| 0a 20 20 20 20 5c 74 65 | 72 6d 69 74 65 6d 7b 63 |. \te|rmitem{c|
|00004860| 65 6e 74 65 72 7d 7b 54 | 65 78 74 7d 0a 45 6d 69 |enter}{T|ext}.Emi|
|00004870| 74 20 5c 61 72 67 7b 54 | 65 78 74 7d 20 63 65 6e |t \arg{T|ext} cen|
|00004880| 74 65 72 65 64 2e 20 54 | 72 61 6e 73 6c 61 74 65 |tered. T|ranslate|
|00004890| 73 20 74 6f 20 5c 65 78 | 61 6d 7b 3c 43 45 4e 54 |s to \ex|am{<CENT|
|000048a0| 45 52 3e 5c 61 72 67 7b | 54 65 78 74 7d 3c 2f 43 |ER>\arg{|Text}</C|
|000048b0| 45 4e 54 45 52 3e 7d 2e | 0a 20 20 20 20 5c 74 65 |ENTER>}.|. \te|
|000048c0| 72 6d 69 74 65 6d 7b 71 | 75 6f 74 65 7d 7b 54 65 |rmitem{q|uote}{Te|
|000048d0| 78 74 7d 0a 45 6d 69 74 | 20 5c 61 72 67 7b 54 65 |xt}.Emit| \arg{Te|
|000048e0| 78 74 7d 20 61 73 20 61 | 20 71 75 6f 74 65 2e 20 |xt} as a| quote. |
|000048f0| 54 72 61 6e 73 6c 61 74 | 65 73 20 74 6f 0a 5c 65 |Translat|es to.\e|
|00004900| 78 61 6d 7b 3c 42 4c 4f | 43 4b 51 55 4f 54 45 3e |xam{<BLO|CKQUOTE>|
|00004910| 5c 61 72 67 7b 54 65 78 | 74 7d 3c 2f 42 4c 4f 43 |\arg{Tex|t}</BLOC|
|00004920| 4b 51 55 4f 54 45 3e 7d | 2e 0a 20 20 20 20 5c 74 |KQUOTE>}|.. \t|
|00004930| 65 72 6d 69 74 65 6d 7b | 65 6d 62 72 61 63 65 7d |ermitem{|embrace}|
|00004940| 7b 54 65 78 74 7d 0a 45 | 6d 69 74 20 5c 61 72 67 |{Text}.E|mit \arg|
|00004950| 7b 54 65 78 74 7d 20 62 | 65 74 77 65 65 6e 20 22 |{Text} b|etween "|
|00004960| 28 29 22 20 62 72 61 63 | 65 73 2e 20 54 72 61 6e |()" brac|es. Tran|
|00004970| 73 6c 61 74 65 73 20 74 | 6f 20 5c 65 78 61 6d 7b |slates t|o \exam{|
|00004980| 28 5c 61 72 67 7b 54 65 | 78 74 7d 29 7d 2e 0a 20 |(\arg{Te|xt})}.. |
|00004990| 20 20 20 5c 74 65 72 6d | 69 74 65 6d 7b 65 6d 62 | \term|item{emb|
|000049a0| 72 61 63 65 7d 7b 22 41 | 5a 22 2c 20 54 65 78 74 |race}{"A|Z", Text|
|000049b0| 7d 0a 45 6d 69 74 20 5c | 61 72 67 7b 54 65 78 74 |}.Emit \|arg{Text|
|000049c0| 7d 20 62 65 74 77 65 65 | 6e 20 22 41 5a 22 20 62 |} betwee|n "AZ" b|
|000049d0| 72 61 63 65 73 2e 20 54 | 72 61 6e 73 6c 61 74 65 |races. T|ranslate|
|000049e0| 73 20 74 6f 20 5c 65 78 | 61 6d 7b 41 5c 61 72 67 |s to \ex|am{A\arg|
|000049f0| 7b 54 65 78 74 7d 5a 7d | 2e 0a 20 20 20 20 5c 74 |{Text}Z}|.. \t|
|00004a00| 65 72 6d 69 74 65 6d 7b | 68 7d 7b 4c 65 76 65 6c |ermitem{|h}{Level|
|00004a10| 2c 20 54 65 78 74 7d 0a | 45 6d 69 74 20 61 20 68 |, Text}.|Emit a h|
|00004a20| 65 61 64 65 72 2e 20 20 | 54 72 61 6e 73 6c 61 74 |eader. |Translat|
|00004a30| 65 73 20 74 6f 20 5c 65 | 78 61 6d 7b 3c 48 5c 61 |es to \e|xam{<H\a|
|00004a40| 72 67 7b 4e 7d 3e 5c 61 | 72 67 7b 54 65 78 74 7d |rg{N}>\a|rg{Text}|
|00004a50| 3c 2f 48 5c 61 72 67 7b | 4e 7d 3e 7d 2c 0a 77 68 |</H\arg{|N}>},.wh|
|00004a60| 65 72 65 20 5c 61 72 67 | 7b 4e 7d 20 69 73 20 5c |ere \arg|{N} is \|
|00004a70| 61 72 67 7b 4c 65 76 65 | 6c 7d 2e 0a 20 20 20 20 |arg{Leve|l}.. |
|00004a80| 5c 74 65 72 6d 69 74 65 | 6d 7b 72 6f 77 7d 7b 43 |\termite|m{row}{C|
|00004a90| 6f 6c 75 6d 6e 73 7d 0a | 45 6d 69 74 73 20 61 20 |olumns}.|Emits a |
|00004aa0| 72 6f 77 20 6f 66 20 61 | 20 74 61 62 6c 65 2e 20 |row of a| table. |
|00004ab0| 20 54 72 61 6e 73 6c 61 | 74 65 73 20 74 6f 20 5c | Transla|tes to \|
|00004ac0| 65 78 61 6d 7b 3c 54 52 | 3e 5c 61 72 67 7b 43 31 |exam{<TR|>\arg{C1|
|00004ad0| 7d 3c 54 44 3e 2e 2e 2e | 3c 2f 54 52 3e 7d 2e 0a |}<TD>...|</TR>}..|
|00004ae0| 5c 61 72 67 7b 43 6f 6c | 75 6d 6e 73 7d 20 69 73 |\arg{Col|umns} is|
|00004af0| 20 61 20 6c 69 73 74 20 | 63 6f 6e 74 61 69 6e 69 | a list |containi|
|00004b00| 6e 67 20 74 68 65 20 48 | 54 4d 4c 20 63 6f 64 65 |ng the H|TML code|
|00004b10| 20 66 6f 72 20 65 61 63 | 68 20 63 6f 6c 75 6d 6e | for eac|h column|
|00004b20| 20 69 6e 20 74 68 65 0a | 72 6f 77 2e 0a 20 20 20 | in the.|row.. |
|00004b30| 20 5c 74 65 72 6d 69 74 | 65 6d 7b 6c 61 62 65 6c | \termit|em{label|
|00004b40| 7d 7b 4c 61 62 65 6c 2c | 20 54 65 78 74 2c 20 54 |}{Label,| Text, T|
|00004b50| 61 67 7d 0a 45 6d 69 74 | 73 20 5c 74 65 72 6d 7b |ag}.Emit|s \term{|
|00004b60| 6c 61 62 65 6c 7d 7b 4c | 61 62 65 6c 2c 20 54 65 |label}{L|abel, Te|
|00004b70| 78 74 2c 20 54 61 67 7d | 2c 20 62 75 74 20 63 61 |xt, Tag}|, but ca|
|00004b80| 6e 6f 6e 69 73 65 73 20 | 74 68 65 20 5c 61 72 67 |nonises |the \arg|
|00004b90| 7b 4c 61 62 65 6c 7d 20 | 61 6e 64 0a 5c 61 72 67 |{Label} |and.\arg|
|00004ba0| 7b 54 65 78 74 7d 20 66 | 69 65 6c 64 73 20 66 69 |{Text} f|ields fi|
|00004bb0| 72 73 74 2e 20 20 5c 61 | 72 67 7b 54 61 67 7d 20 |rst. \a|rg{Tag} |
|00004bc0| 69 73 20 74 68 65 20 74 | 61 67 20 6f 66 20 74 68 |is the t|ag of th|
|00004bd0| 65 20 63 75 72 72 65 6e | 74 20 73 65 63 74 69 6f |e curren|t sectio|
|00004be0| 6e 20 6f 72 0a 66 6c 6f | 61 74 2e 0a 20 20 20 20 |n or.flo|at.. |
|00004bf0| 5c 74 65 72 6d 69 74 65 | 6d 7b 6c 61 62 65 6c 7d |\termite|m{label}|
|00004c00| 7b 4c 61 62 65 6c 2c 20 | 54 65 78 74 7d 0a 41 73 |{Label, |Text}.As|
|00004c10| 20 5c 74 65 72 6d 7b 6c | 61 62 65 6c 7d 7b 4c 61 | \term{l|abel}{La|
|00004c20| 62 65 6c 2c 20 54 65 78 | 74 2c 20 54 61 67 7d 2c |bel, Tex|t, Tag},|
|00004c30| 20 62 75 74 20 65 6d 69 | 74 73 20 61 20 6c 61 62 | but emi|ts a lab|
|00004c40| 65 6c 20 6e 6f 74 20 72 | 65 6c 61 74 65 64 20 74 |el not r|elated t|
|00004c50| 6f 20 61 0a 73 65 63 74 | 69 6f 6e 20 6f 72 20 66 |o a.sect|ion or f|
|00004c60| 6c 6f 61 74 2e 0a 20 20 | 20 20 5c 74 65 72 6d 69 |loat.. | \termi|
|00004c70| 74 65 6d 7b 6c 72 65 66 | 7d 7b 4c 61 62 65 6c 2c |tem{lref|}{Label,|
|00004c80| 20 54 65 78 74 7d 0a 45 | 6d 69 74 73 20 5c 74 65 | Text}.E|mits \te|
|00004c90| 72 6d 7b 6c 72 65 66 7d | 7b 4c 61 62 65 6c 2c 20 |rm{lref}|{Label, |
|00004ca0| 54 65 78 74 7d 2c 20 62 | 75 74 20 63 61 6e 6f 6e |Text}, b|ut canon|
|00004cb0| 69 73 65 73 20 74 68 65 | 20 5c 61 72 67 7b 4c 61 |ises the| \arg{La|
|00004cc0| 62 65 6c 7d 20 61 6e 64 | 0a 5c 61 72 67 7b 54 65 |bel} and|.\arg{Te|
|00004cd0| 78 74 7d 20 66 69 65 6c | 64 73 20 66 69 72 73 74 |xt} fiel|ds first|
|00004ce0| 2e 0a 20 20 20 20 5c 74 | 65 72 6d 69 74 65 6d 7b |.. \t|ermitem{|
|00004cf0| 69 66 6c 72 65 66 7d 7b | 4c 61 62 65 6c 2c 20 54 |iflref}{|Label, T|
|00004d00| 65 78 74 7d 0a 45 6d 69 | 74 73 20 5c 74 65 72 6d |ext}.Emi|ts \term|
|00004d10| 7b 69 66 6c 72 65 66 7d | 7b 4c 61 62 65 6c 2c 20 |{iflref}|{Label, |
|00004d20| 54 65 78 74 7d 2c 20 62 | 75 74 20 63 61 6e 6f 6e |Text}, b|ut canon|
|00004d30| 69 73 65 73 20 74 68 65 | 20 5c 61 72 67 7b 4c 61 |ises the| \arg{La|
|00004d40| 62 65 6c 7d 20 61 6e 64 | 0a 5c 61 72 67 7b 54 65 |bel} and|.\arg{Te|
|00004d50| 78 74 7d 20 66 69 65 6c | 64 73 20 66 69 72 73 74 |xt} fiel|ds first|
|00004d60| 2e 0a 20 20 20 20 5c 74 | 65 72 6d 69 74 65 6d 7b |.. \t|ermitem{|
|00004d70| 6c 62 61 63 6b 7d 7b 4c | 61 62 65 6c 2c 20 54 65 |lback}{L|abel, Te|
|00004d80| 78 74 7d 0a 45 6d 69 74 | 73 20 5c 74 65 72 6d 7b |xt}.Emit|s \term{|
|00004d90| 6c 62 61 63 6b 7d 7b 4c | 61 62 65 6c 2c 20 54 65 |lback}{L|abel, Te|
|00004da0| 78 74 7d 2c 20 62 75 74 | 20 63 61 6e 6f 6e 69 73 |xt}, but| canonis|
|00004db0| 65 73 20 74 68 65 20 5c | 61 72 67 7b 4c 61 62 65 |es the \|arg{Labe|
|00004dc0| 6c 7d 20 61 6e 64 0a 5c | 61 72 67 7b 54 65 78 74 |l} and.\|arg{Text|
|00004dd0| 7d 20 66 69 65 6c 64 73 | 20 66 69 72 73 74 2e 0a |} fields| first..|
|00004de0| 20 20 20 20 5c 74 65 72 | 6d 69 74 65 6d 7b 6c 66 | \ter|mitem{lf|
|00004df0| 6f 72 77 7d 7b 4c 61 62 | 65 6c 2c 20 54 65 78 74 |orw}{Lab|el, Text|
|00004e00| 7d 0a 45 6d 69 74 73 20 | 5c 74 65 72 6d 7b 6c 66 |}.Emits |\term{lf|
|00004e10| 6f 72 77 7d 7b 4c 61 62 | 65 6c 2c 20 54 65 78 74 |orw}{Lab|el, Text|
|00004e20| 7d 2c 20 62 75 74 20 63 | 61 6e 6f 6e 69 73 65 73 |}, but c|anonises|
|00004e30| 20 74 68 65 20 5c 61 72 | 67 7b 4c 61 62 65 6c 7d | the \ar|g{Label}|
|00004e40| 20 61 6e 64 0a 5c 61 72 | 67 7b 54 65 78 74 7d 20 | and.\ar|g{Text} |
|00004e50| 66 69 65 6c 64 73 20 66 | 69 72 73 74 2e 0a 20 20 |fields f|irst.. |
|00004e60| 20 20 5c 74 65 72 6d 69 | 74 65 6d 7b 75 72 6c 7d | \termi|tem{url}|
|00004e70| 7b 55 52 4c 2c 20 54 65 | 78 74 7d 0a 45 6d 69 74 |{URL, Te|xt}.Emit|
|00004e80| 73 20 61 6e 20 65 78 74 | 65 72 6e 61 6c 20 55 52 |s an ext|ernal UR|
|00004e90| 4c 3a 20 5c 65 78 61 6d | 7b 3c 41 20 48 52 45 46 |L: \exam|{<A HREF|
|00004ea0| 3d 22 5c 61 72 67 7b 55 | 52 4c 7d 22 3e 5c 61 72 |="\arg{U|RL}">\ar|
|00004eb0| 67 7b 54 65 78 74 7d 3c | 2f 41 3e 7d 2e 0a 20 20 |g{Text}<|/A>}.. |
|00004ec0| 20 20 5c 74 65 72 6d 69 | 74 65 6d 7b 63 69 74 65 | \termi|tem{cite|
|00004ed0| 7d 7b 4b 65 79 73 7d 0a | 48 61 6e 64 6c 65 20 61 |}{Keys}.|Handle a|
|00004ee0| 20 5c 74 65 78 63 6d 64 | 7b 63 69 74 65 7d 20 63 | \texcmd|{cite} c|
|00004ef0| 6f 6d 6d 61 6e 64 2e 20 | 20 5c 61 72 67 7b 4b 65 |ommand. | \arg{Ke|
|00004f00| 79 73 7d 20 69 73 20 74 | 72 61 6e 73 6c 61 74 65 |ys} is t|ranslate|
|00004f10| 64 20 69 6e 74 6f 20 61 | 0a 73 65 71 75 65 6e 63 |d into a|.sequenc|
|00004f20| 65 20 5c 6d 62 6f 78 7b | 5c 74 65 72 6d 7b 63 69 |e \mbox{|\term{ci|
|00004f30| 74 65 7d 7b 4b 65 79 31 | 7d 2c 20 27 2c 27 2c 20 |te}{Key1|}, ',', |
|00004f40| 27 20 27 2c 20 5c 6c 64 | 6f 74 73 7d 20 61 6e 64 |' ', \ld|ots} and|
|00004f50| 20 74 68 65 20 77 68 6f | 6c 65 0a 69 73 20 65 6e | the who|le.is en|
|00004f60| 63 6c 6f 73 65 64 20 69 | 6e 20 5c 65 78 61 6d 7b |closed i|n \exam{|
|00004f70| 3c 43 49 54 45 3e 20 5c | 6c 64 6f 74 73 20 3c 2f |<CITE> \|ldots </|
|00004f80| 43 49 54 45 3e 7d 2e 0a | 20 20 20 20 5c 74 65 72 |CITE>}..| \ter|
|00004f90| 6d 69 74 65 6d 7b 6f 70 | 65 6e 63 69 74 65 7d 7b |mitem{op|encite}{|
|00004fa0| 4b 65 79 73 7d 0a 43 75 | 72 72 65 6e 74 6c 79 20 |Keys}.Cu|rrently |
|00004fb0| 61 73 20 5c 74 65 72 6d | 7b 63 69 74 65 7d 7b 4b |as \term|{cite}{K|
|00004fc0| 65 79 73 7d 0a 20 20 20 | 20 5c 74 65 72 6d 69 74 |eys}. | \termit|
|00004fd0| 65 6d 7b 79 65 61 72 63 | 69 74 65 7d 7b 4b 65 79 |em{yearc|ite}{Key|
|00004fe0| 73 7d 0a 41 73 20 5c 74 | 65 72 6d 7b 63 69 74 65 |s}.As \t|erm{cite|
|00004ff0| 7d 7b 4b 65 79 73 7d 2c | 20 62 75 74 20 65 6d 69 |}{Keys},| but emi|
|00005000| 74 73 20 5c 74 65 72 6d | 7b 79 65 61 72 63 69 74 |ts \term|{yearcit|
|00005010| 65 7d 7b 4b 65 79 7d 2e | 0a 20 20 20 20 5c 74 65 |e}{Key}.|. \te|
|00005020| 72 6d 69 74 65 6d 7b 68 | 65 61 64 65 72 7d 7b 54 |rmitem{h|eader}{T|
|00005030| 61 67 7d 0a 50 72 6f 64 | 75 63 65 20 61 20 68 65 |ag}.Prod|uce a he|
|00005040| 61 64 65 72 20 66 6f 72 | 20 74 68 65 20 66 69 6c |ader for| the fil|
|00005050| 65 20 63 6f 6e 74 61 69 | 6e 69 6e 67 20 73 65 63 |e contai|ning sec|
|00005060| 74 69 6f 6e 20 5c 61 72 | 67 7b 54 61 67 7d 2e 0a |tion \ar|g{Tag}..|
|00005070| 54 68 69 73 20 6d 61 63 | 72 6f 20 6d 61 79 20 62 |This mac|ro may b|
|00005080| 65 20 72 65 64 65 66 69 | 6e 65 64 20 74 6f 20 6d |e redefi|ned to m|
|00005090| 6f 64 69 66 79 20 74 68 | 65 20 73 65 63 74 69 6f |odify th|e sectio|
|000050a0| 6e 20 68 65 61 64 65 72 | 2e 0a 20 20 20 20 5c 74 |n header|.. \t|
|000050b0| 65 72 6d 69 74 65 6d 7b | 68 65 61 64 65 72 7d 0a |ermitem{|header}.|
|000050c0| 50 72 6f 64 75 63 65 20 | 61 20 68 65 61 64 65 72 |Produce |a header|
|000050d0| 20 66 6f 72 20 61 20 66 | 69 6c 65 20 6e 6f 74 20 | for a f|ile not |
|000050e0| 64 65 66 69 6e 69 6e 67 | 20 61 20 73 65 63 74 69 |defining| a secti|
|000050f0| 6f 6e 2e 0a 20 20 20 20 | 5c 74 65 72 6d 69 74 65 |on.. |\termite|
|00005100| 6d 7b 66 6f 6f 74 65 72 | 7d 7b 41 72 67 7d 0a 50 |m{footer|}{Arg}.P|
|00005110| 72 6f 64 75 63 65 20 61 | 20 66 6f 6f 74 65 72 20 |roduce a| footer |
|00005120| 66 6f 72 20 74 68 65 20 | 66 69 6c 65 20 63 6f 6e |for the |file con|
|00005130| 74 61 69 6e 69 6e 67 20 | 73 65 63 74 69 6f 6e 20 |taining |section |
|00005140| 5c 61 72 67 7b 54 61 67 | 7d 2e 0a 54 68 69 73 20 |\arg{Tag|}..This |
|00005150| 6d 61 63 72 6f 20 6d 61 | 79 20 62 65 20 72 65 64 |macro ma|y be red|
|00005160| 65 66 69 6e 65 64 20 74 | 6f 20 6d 6f 64 69 66 79 |efined t|o modify|
|00005170| 20 74 68 65 20 73 65 63 | 74 69 6f 6e 20 68 65 61 | the sec|tion hea|
|00005180| 64 65 72 2e 20 20 4e 6f | 72 6d 61 6c 6c 79 2c 0a |der. No|rmally,.|
|00005190| 74 68 69 73 20 6d 61 63 | 72 6f 20 63 72 65 61 74 |this mac|ro creat|
|000051a0| 65 73 20 61 20 60 6c 6f | 63 61 6c 27 20 74 61 62 |es a `lo|cal' tab|
|000051b0| 6c 65 20 6f 66 20 63 6f | 6e 74 65 6e 74 73 20 66 |le of co|ntents f|
|000051c0| 6f 72 20 61 6c 6c 20 73 | 75 62 73 65 63 74 69 6f |or all s|ubsectio|
|000051d0| 6e 73 20 6f 66 0a 74 68 | 69 73 20 73 65 63 74 69 |ns of.th|is secti|
|000051e0| 6f 6e 20 28 6f 72 20 6e | 6f 74 68 69 6e 67 20 69 |on (or n|othing i|
|000051f0| 66 20 74 68 65 72 65 20 | 61 72 65 20 6e 6f 20 73 |f there |are no s|
|00005200| 75 62 73 65 63 74 69 6f | 6e 73 29 2e 0a 5c 65 6e |ubsectio|ns)..\en|
|00005210| 64 7b 64 65 73 63 72 69 | 70 74 69 6f 6e 7d 0a 0a |d{descri|ption}..|
|00005220| 0a 5c 73 75 62 73 65 63 | 74 69 6f 6e 7b 55 73 65 |.\subsec|tion{Use|
|00005230| 72 20 65 78 74 65 6e 73 | 69 6f 6e 20 68 6f 6f 6b |r extens|ion hook|
|00005240| 20 70 72 65 64 69 63 61 | 74 65 73 7d 09 09 5c 6c | predica|tes}..\l|
|00005250| 61 62 65 6c 7b 73 65 63 | 3a 65 78 74 70 72 65 64 |abel{sec|:extpred|
|00005260| 73 7d 0a 0a 41 73 20 64 | 69 73 63 75 73 73 65 64 |s}..As d|iscussed|
|00005270| 20 69 6e 20 5c 73 65 63 | 72 65 66 7b 6f 76 65 72 | in \sec|ref{over|
|00005280| 76 69 65 77 7d 2c 20 74 | 68 65 20 74 72 61 6e 73 |view}, t|he trans|
|00005290| 6c 61 74 6f 72 20 6d 61 | 79 20 62 65 20 65 78 74 |lator ma|y be ext|
|000052a0| 65 6e 64 65 64 20 61 74 | 0a 76 61 72 69 6f 75 73 |ended at|.various|
|000052b0| 20 6c 65 76 65 6c 73 2e | 20 20 4e 6f 72 6d 61 6c | levels.| Normal|
|000052c0| 6c 79 2c 20 69 73 20 73 | 68 6f 75 6c 64 20 73 75 |ly, is s|hould su|
|000052d0| 66 66 69 63 65 20 74 6f | 20 65 78 74 65 6e 64 20 |ffice to| extend |
|000052e0| 74 68 65 20 64 65 66 69 | 6e 69 74 69 6f 6e 73 0a |the defi|nitions.|
|000052f0| 6f 66 20 63 6d 64 2f 5b | 32 2d 34 5d 2c 20 65 6e |of cmd/[|2-4], en|
|00005300| 76 2f 32 2c 20 6c 69 73 | 74 5f 63 6f 6d 6d 61 6e |v/2, lis|t_comman|
|00005310| 64 2f 34 20 61 6e 64 20 | 5c 70 72 65 64 72 65 66 |d/4 and |\predref|
|00005320| 7b 23 7d 7b 32 7d 2e 20 | 54 68 65 79 20 61 72 65 |{#}{2}. |They are|
|00005330| 0a 64 65 66 69 6e 65 73 | 20 62 65 6c 6f 77 2e 0a |.defines| below..|
|00005340| 0a 5c 62 65 67 69 6e 7b | 64 65 73 63 72 69 70 74 |.\begin{|descript|
|00005350| 69 6f 6e 7d 0a 20 20 20 | 20 5c 70 72 65 64 69 63 |ion}. | \predic|
|00005360| 61 74 65 7b 63 6d 64 7d | 7b 34 7d 7b 2b 43 6f 6d |ate{cmd}|{4}{+Com|
|00005370| 6d 61 6e 64 2c 20 2b 4d | 6f 64 65 49 6e 2c 20 2d |mand, +M|odeIn, -|
|00005380| 4d 6f 64 65 4f 75 74 2c | 20 2d 48 54 4d 4c 7d 0a |ModeOut,| -HTML}.|
|00005390| 54 72 61 6e 73 6c 61 74 | 65 20 74 68 65 20 67 69 |Translat|e the gi|
|000053a0| 76 65 6e 20 5c 61 72 67 | 7b 43 6f 6d 6d 61 6e 64 |ven \arg|{Command|
|000053b0| 7d 2e 20 20 41 20 63 6f | 6d 6d 61 6e 64 20 69 73 |}. A co|mmand is|
|000053c0| 20 72 65 70 72 65 73 65 | 6e 74 65 64 20 62 79 0a | represe|nted by.|
|000053d0| 61 20 74 65 72 6d 20 6f | 66 20 74 68 65 20 66 6f |a term o|f the fo|
|000053e0| 72 6d 61 74 20 5c 74 65 | 72 6d 7b 3c 43 6f 6d 6d |rmat \te|rm{<Comm|
|000053f0| 61 6e 64 4e 61 6d 65 3e | 7d 7b 3c 43 6f 6d 6d 61 |andName>|}{<Comma|
|00005400| 6e 64 41 72 67 3e 2c 20 | 5c 6c 64 6f 74 73 7d 2e |ndArg>, |\ldots}.|
|00005410| 0a 45 61 63 68 20 3c 43 | 6f 6d 6d 61 6e 64 41 72 |.Each <C|ommandAr|
|00005420| 67 3e 20 69 73 20 61 20 | 74 65 72 6d 20 6f 66 20 |g> is a |term of |
|00005430| 74 68 65 20 66 6f 72 6d | 20 5c 65 78 61 6d 7b 5c |the form| \exam{\|
|00005440| 7b 3c 41 72 67 3e 5c 7d | 7d 20 69 66 20 69 74 20 |{<Arg>\}|} if it |
|00005450| 69 73 0a 61 6e 20 6f 62 | 6c 69 67 61 74 6f 72 79 |is.an ob|ligatory|
|00005460| 20 61 72 67 75 6d 65 6e | 74 2e 20 20 49 66 20 69 | argumen|t. If i|
|00005470| 74 20 69 73 20 61 6e 20 | 6f 70 74 69 6f 6e 20 61 |t is an |option a|
|00005480| 72 67 75 6d 65 6e 74 20 | 61 6e 64 20 6e 6f 74 0a |rgument |and not.|
|00005490| 73 70 65 63 69 66 69 65 | 64 2c 20 3c 43 6f 6d 6d |specifie|d, <Comm|
|000054a0| 61 6e 64 41 72 67 3e 20 | 69 73 20 74 68 65 20 65 |andArg> |is the e|
|000054b0| 6d 70 74 79 20 6c 69 73 | 74 20 28 5c 63 6f 6e 73 |mpty lis|t (\cons|
|000054c0| 74 7b 5b 5d 7d 29 2e 20 | 20 4f 74 68 65 72 77 69 |t{[]}). | Otherwi|
|000054d0| 73 65 0a 69 74 20 69 73 | 20 61 20 6c 69 73 74 20 |se.it is| a list |
|000054e0| 68 6f 6c 64 69 6e 67 20 | 61 20 73 69 6e 67 6c 65 |holding |a single|
|000054f0| 20 65 6c 65 6d 65 6e 74 | 20 72 65 70 72 65 73 65 | element| represe|
|00005500| 6e 74 69 6e 67 20 74 68 | 65 20 61 72 67 75 6d 65 |nting th|e argume|
|00005510| 6e 74 2e 0a 0a 49 66 20 | 74 68 65 20 63 6f 6d 6d |nt...If |the comm|
|00005520| 61 6e 64 20 64 65 66 69 | 6e 65 73 20 61 6e 20 6f |and defi|nes an o|
|00005530| 70 74 69 6f 6e 61 6c 20 | 6d 6f 64 69 66 69 65 72 |ptional |modifier|
|00005540| 20 28 61 73 20 74 68 65 | 0a 5c 74 65 78 63 6d 64 | (as the|.\texcmd|
|00005550| 7b 73 65 63 74 69 6f 6e | 7d 20 63 6f 6d 6d 61 6e |{section|} comman|
|00005560| 64 20 74 6f 20 73 75 70 | 70 72 65 73 73 20 74 68 |d to sup|press th|
|00005570| 65 20 73 65 63 74 69 6f | 6e 20 6e 75 6d 62 65 72 |e sectio|n number|
|00005580| 29 2c 20 74 68 69 73 0a | 69 73 20 74 72 61 6e 73 |), this.|is trans|
|00005590| 6c 61 74 65 64 20 69 6e | 74 6f 20 74 68 65 20 66 |lated in|to the f|
|000055a0| 69 72 73 74 20 61 72 67 | 75 6d 65 6e 74 20 74 6f |irst arg|ument to|
|000055b0| 20 74 68 65 20 5c 61 72 | 67 7b 43 6f 6d 6d 61 6e | the \ar|g{Comman|
|000055c0| 64 7d 2c 20 77 68 69 63 | 68 20 69 73 0a 65 69 74 |d}, whic|h is.eit|
|000055d0| 68 65 72 20 62 6f 75 6e | 64 20 74 6f 20 74 68 65 |her boun|d to the|
|000055e0| 20 61 74 6f 6d 20 5c 63 | 6f 6e 73 74 7b 2a 7d 20 | atom \c|onst{*} |
|000055f0| 69 66 20 74 68 65 20 6d | 6f 64 69 66 69 65 72 20 |if the m|odifier |
|00005600| 77 61 73 20 73 70 65 63 | 69 66 69 65 64 2c 20 6f |was spec|ified, o|
|00005610| 72 0a 5c 63 6f 6e 73 74 | 7b 2d 7d 20 6f 66 20 6e |r.\const|{-} of n|
|00005620| 6f 74 2e 0a 0a 49 66 20 | 74 68 65 20 63 6f 6d 6d |ot...If |the comm|
|00005630| 61 6e 64 20 61 72 67 75 | 6d 65 6e 74 20 69 73 20 |and argu|ment is |
|00005640| 73 70 65 63 69 66 69 65 | 64 20 61 73 20 5c 63 6f |specifie|d as \co|
|00005650| 6e 73 74 7b 2d 7d 20 6f | 72 20 5c 63 6f 6e 73 74 |nst{-} o|r \const|
|00005660| 7b 64 7d 20 28 73 65 65 | 0a 5c 73 65 63 72 65 66 |{d} (see|.\secref|
|00005670| 7b 63 6d 64 73 70 65 63 | 7d 29 2c 20 74 68 65 20 |{cmdspec|}), the |
|00005680| 74 6f 6b 65 6e 69 73 65 | 72 20 72 65 74 75 72 6e |tokenise|r return|
|00005690| 73 20 74 68 65 20 76 65 | 72 62 61 74 69 6d 20 74 |s the ve|rbatim t|
|000056a0| 65 78 74 20 6f 66 20 74 | 68 65 0a 61 72 67 75 6d |ext of t|he.argum|
|000056b0| 65 6e 74 20 61 73 20 61 | 20 53 57 49 2d 50 72 6f |ent as a| SWI-Pro|
|000056c0| 6c 6f 67 20 73 74 72 69 | 6e 67 2e 20 4f 74 68 65 |log stri|ng. Othe|
|000056d0| 72 77 69 73 65 2c 20 69 | 66 20 74 68 65 20 73 70 |rwise, i|f the sp|
|000056e0| 65 63 69 66 69 65 72 20 | 69 73 0a 5c 63 6f 6e 73 |ecifier |is.\cons|
|000056f0| 74 7b 2b 7d 2c 20 74 68 | 65 20 61 72 67 75 6d 65 |t{+}, th|e argume|
|00005700| 6e 74 20 69 73 20 61 20 | 6c 69 73 74 20 6f 66 20 |nt is a |list of |
|00005710| 4c 61 54 65 58 20 74 6f | 6b 65 6e 73 2e 20 20 46 |LaTeX to|kens. F|
|00005720| 6f 72 20 65 78 61 6d 70 | 6c 65 2c 0a 74 68 65 20 |or examp|le,.the |
|00005730| 5c 74 65 78 63 6d 64 7b | 75 72 6c 7d 20 63 6f 6d |\texcmd{|url} com|
|00005740| 6d 61 6e 64 20 69 73 20 | 64 65 66 69 6e 65 64 20 |mand is |defined |
|00005750| 61 73 0a 0a 5c 62 65 67 | 69 6e 7b 63 6f 64 65 7d |as..\beg|in{code}|
|00005760| 0a 5c 75 72 6c 5b 2b 5d | 7b 2d 7d 0a 5c 65 6e 64 |.\url[+]|{-}.\end|
|00005770| 7b 63 6f 64 65 7d 0a 0a | 61 6e 64 20 74 68 65 20 |{code}..|and the |
|00005780| 63 6f 6d 6d 61 6e 64 0a | 5c 76 65 72 62 24 5c 75 |command.|\verb$\u|
|00005790| 72 6c 5b 53 57 49 2d 50 | 72 6f 6c 6f 67 5d 7b 66 |rl[SWI-P|rolog]{f|
|000057a0| 74 70 3a 2f 2f 73 77 69 | 2e 70 73 79 2e 75 76 61 |tp://swi|.psy.uva|
|000057b0| 2e 6e 6c 2f 70 75 62 2f | 53 57 49 2d 50 72 6f 6c |.nl/pub/|SWI-Prol|
|000057c0| 6f 67 7d 24 20 77 69 6c | 6c 0a 62 65 20 68 61 6e |og}$ wil|l.be han|
|000057d0| 64 65 64 20 74 6f 20 63 | 6d 64 2f 34 20 61 73 3a |ded to c|md/4 as:|
|000057e0| 0a 0a 5c 62 65 67 69 6e | 7b 63 6f 64 65 7d 0a 75 |..\begin|{code}.u|
|000057f0| 72 6c 28 5b 5b 53 57 49 | 2d 50 72 6f 6c 6f 67 5d |rl([[SWI|-Prolog]|
|00005800| 5d 2c 20 7b 27 66 74 70 | 3a 2f 2f 73 77 69 2e 70 |], {'ftp|://swi.p|
|00005810| 73 79 2e 75 76 61 2e 6e | 6c 2f 70 75 62 2f 53 57 |sy.uva.n|l/pub/SW|
|00005820| 49 2d 50 72 6f 6c 6f 67 | 27 7d 29 0a 5c 65 6e 64 |I-Prolog|'}).\end|
|00005830| 7b 63 6f 64 65 7d 0a 0a | 5c 61 72 67 7b 4d 6f 64 |{code}..|\arg{Mod|
|00005840| 65 49 6e 7d 20 73 70 65 | 63 69 66 69 65 73 20 74 |eIn} spe|cifies t|
|00005850| 68 65 20 6d 6f 64 65 20 | 6f 66 20 74 68 65 20 74 |he mode |of the t|
|00005860| 72 61 6e 73 6c 61 74 6f | 72 2e 20 20 4f 6e 6c 79 |ranslato|r. Only|
|00005870| 20 61 20 66 65 77 20 76 | 61 6c 75 65 73 0a 61 72 | a few v|alues.ar|
|00005880| 65 20 64 65 66 69 6e 65 | 64 20 61 6e 64 20 68 61 |e define|d and ha|
|00005890| 76 65 20 64 65 66 69 6e | 65 64 20 62 65 68 61 76 |ve defin|ed behav|
|000058a0| 69 6f 75 72 3a 0a 0a 5c | 62 65 67 69 6e 7b 64 65 |iour:..\|begin{de|
|000058b0| 73 63 72 69 70 74 69 6f | 6e 7d 0a 20 20 20 20 5c |scriptio|n}. \|
|000058c0| 74 65 72 6d 69 74 65 6d | 7b 6d 61 74 68 7d 7b 7d |termitem|{math}{}|
|000058d0| 0a 57 65 20 61 72 65 20 | 70 72 6f 63 65 73 73 69 |.We are |processi|
|000058e0| 6e 67 20 61 20 4c 61 54 | 65 58 20 6d 61 74 68 20 |ng a LaT|eX math |
|000058f0| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 2e 0a 0a 20 20 |environm|ent... |
|00005900| 20 20 5c 74 65 72 6d 69 | 74 65 6d 7b 67 72 6f 75 | \termi|tem{grou|
|00005910| 70 7d 7b 46 6f 6e 74 7d | 0a 55 73 65 64 20 74 6f |p}{Font}|.Used to|
|00005920| 20 74 72 61 6e 73 6c 61 | 74 65 20 5c 65 78 61 6d | transla|te \exam|
|00005930| 7b 5c 7b 5c 6c 64 6f 74 | 73 5c 7d 7d 2c 20 70 6f |{\{\ldot|s\}}, po|
|00005940| 73 73 69 62 6c 79 20 68 | 6f 6c 64 69 6e 67 20 66 |ssibly h|olding f|
|00005950| 6f 6e 74 20 73 77 69 74 | 63 68 65 73 2c 20 61 73 |ont swit|ches, as|
|00005960| 0a 77 65 6c 6c 20 61 73 | 20 6f 74 68 65 72 20 67 |.well as| other g|
|00005970| 72 6f 75 70 65 64 20 65 | 6e 76 69 72 6f 6e 6d 65 |rouped e|nvironme|
|00005980| 6e 74 73 2c 20 73 75 63 | 68 20 61 73 20 5c 74 65 |nts, suc|h as \te|
|00005990| 78 63 6d 64 7b 6d 62 6f | 78 7d 20 61 6e 64 0a 74 |xcmd{mbo|x} and.t|
|000059a0| 68 65 20 63 65 6c 6c 73 | 20 6f 66 20 61 20 74 61 |he cells| of a ta|
|000059b0| 62 6c 65 20 28 5c 74 65 | 78 65 6e 76 7b 74 61 62 |ble (\te|xenv{tab|
|000059c0| 75 6c 61 72 7d 29 2e 0a | 0a 20 20 20 20 5c 74 65 |ular})..|. \te|
|000059d0| 72 6d 69 74 65 6d 7b 5c | 61 72 67 7b 4c 69 73 74 |rmitem{\|arg{List|
|000059e0| 4e 61 6d 65 7d 7d 7b 7d | 0a 57 68 65 6e 20 70 72 |Name}}{}|.When pr|
|000059f0| 6f 63 65 73 73 69 6e 67 | 20 61 20 6c 69 73 74 20 |ocessing| a list |
|00005a00| 28 73 65 65 20 6c 69 73 | 74 5f 63 6f 6d 6d 61 6e |(see lis|t_comman|
|00005a10| 64 2f 34 29 2c 20 74 68 | 65 20 6d 6f 64 65 20 69 |d/4), th|e mode i|
|00005a20| 73 20 74 68 65 20 6e 61 | 6d 65 20 6f 66 20 74 68 |s the na|me of th|
|00005a30| 65 0a 6c 69 73 74 20 65 | 6e 76 69 72 6f 6e 6d 65 |e.list e|nvironme|
|00005a40| 6e 74 2e 20 20 54 68 69 | 73 20 61 6c 6c 6f 77 73 |nt. Thi|s allows|
|00005a50| 20 66 6f 72 20 74 68 65 | 20 69 74 65 6d 20 63 6f | for the| item co|
|00005a60| 6d 6d 61 6e 64 73 20 74 | 6f 20 63 6f 6e 73 69 64 |mmands t|o consid|
|00005a70| 65 72 20 74 68 65 0a 6c | 69 73 74 20 65 6e 76 69 |er the.l|ist envi|
|00005a80| 72 6f 6e 6d 65 6e 74 20 | 69 6e 20 77 68 69 63 68 |ronment |in which|
|00005a90| 20 74 68 65 79 20 61 72 | 65 20 61 63 74 69 76 65 | they ar|e active|
|00005aa0| 2e 0a 5c 65 6e 64 7b 64 | 65 73 63 72 69 70 74 69 |..\end{d|escripti|
|00005ab0| 6f 6e 7d 0a 0a 5c 61 72 | 67 7b 4d 6f 64 65 4f 75 |on}..\ar|g{ModeOu|
|00005ac0| 74 7d 20 64 65 66 69 6e | 65 73 20 74 68 65 20 6d |t} defin|es the m|
|00005ad0| 6f 64 65 20 66 6f 72 20 | 66 75 72 74 68 65 72 20 |ode for |further |
|00005ae0| 70 72 6f 63 65 73 73 69 | 6e 67 2e 20 20 43 75 72 |processi|ng. Cur|
|00005af0| 72 65 6e 74 6c 79 2c 0a | 63 6d 64 2f 34 20 6f 6e |rently,.|cmd/4 on|
|00005b00| 6c 79 20 69 6d 70 6c 65 | 6d 65 6e 74 73 20 74 68 |ly imple|ments th|
|00005b10| 65 20 66 6f 6e 74 2d 73 | 77 69 74 63 68 65 73 20 |e font-s|witches |
|00005b20| 74 6f 20 6d 61 6e 69 70 | 75 6c 61 74 65 20 74 68 |to manip|ulate th|
|00005b30| 65 20 61 72 67 75 6d 65 | 6e 74 20 6f 66 0a 74 68 |e argume|nt of.th|
|00005b40| 65 20 5c 66 75 6e 63 74 | 6f 72 7b 67 72 6f 75 70 |e \funct|or{group|
|00005b50| 7d 7b 31 7d 20 6d 6f 64 | 65 20 74 65 72 6d 2e 0a |}{1} mod|e term..|
|00005b60| 0a 20 20 20 20 5c 70 72 | 65 64 69 63 61 74 65 7b |. \pr|edicate{|
|00005b70| 63 6d 64 7d 7b 33 7d 7b | 2b 43 6f 6d 6d 61 6e 64 |cmd}{3}{|+Command|
|00005b80| 2c 20 2b 4d 6f 64 65 2c | 20 2d 48 54 4d 4c 7d 0a |, +Mode,| -HTML}.|
|00005b90| 56 65 72 73 69 6f 6e 20 | 6f 66 20 63 6d 64 2f 34 |Version |of cmd/4|
|00005ba0| 20 74 68 61 74 20 64 6f | 65 73 20 6e 6f 74 20 6e | that do|es not n|
|00005bb0| 65 65 64 20 74 6f 20 63 | 68 61 6e 67 65 20 6d 6f |eed to c|hange mo|
|00005bc0| 64 65 73 2c 20 62 75 74 | 20 72 65 61 6c 69 73 65 |des, but| realise|
|00005bd0| 73 20 6d 6f 64 65 0a 64 | 65 70 65 6e 64 65 6e 74 |s mode.d|ependent|
|00005be0| 20 63 6f 6d 6d 61 6e 64 | 73 2e 20 45 78 61 6d 70 | command|s. Examp|
|00005bf0| 6c 65 20 61 72 65 20 74 | 68 65 20 5c 74 65 78 6d |le are t|he \texm|
|00005c00| 6f 64 65 7b 6d 61 74 68 | 7d 20 63 6f 6d 6d 61 6e |ode{math|} comman|
|00005c10| 64 73 2e 20 54 68 69 73 | 0a 74 72 61 6e 73 6c 61 |ds. This|.transla|
|00005c20| 74 6f 72 20 77 69 6c 6c | 20 6f 6e 6c 79 20 62 65 |tor will| only be|
|00005c30| 20 63 61 6c 6c 65 64 20 | 7b 5c 62 66 20 61 66 74 | called |{\bf aft|
|00005c40| 65 72 7d 20 63 6d 64 2f | 34 20 66 61 69 6c 73 2e |er} cmd/|4 fails.|
|00005c50| 0a 0a 20 20 20 20 5c 70 | 72 65 64 69 63 61 74 65 |.. \p|redicate|
|00005c60| 7b 63 6d 64 7d 7b 32 7d | 7b 2b 43 6f 6d 6d 61 6e |{cmd}{2}|{+Comman|
|00005c70| 64 2c 20 2d 48 54 4d 4c | 7d 0a 56 65 72 73 69 6f |d, -HTML|}.Versio|
|00005c80| 6e 20 6f 66 20 63 6d 64 | 2f 34 20 74 68 61 74 20 |n of cmd|/4 that |
|00005c90| 64 6f 65 73 20 6e 6f 74 | 20 63 68 61 6e 67 65 2c |does not| change,|
|00005ca0| 20 6e 6f 72 20 76 65 72 | 69 66 79 20 74 68 65 20 | nor ver|ify the |
|00005cb0| 63 75 72 72 65 6e 74 20 | 6d 6f 64 65 2e 0a 54 68 |current |mode..Th|
|00005cc0| 69 73 20 74 72 61 6e 73 | 6c 61 74 6f 72 20 77 69 |is trans|lator wi|
|00005cd0| 6c 6c 20 6f 6e 6c 79 20 | 62 65 20 63 61 6c 6c 65 |ll only |be calle|
|00005ce0| 64 20 7b 5c 62 66 20 61 | 66 74 65 72 7d 20 63 6d |d {\bf a|fter} cm|
|00005cf0| 64 2f 33 20 66 61 69 6c | 73 2e 0a 0a 20 20 20 20 |d/3 fail|s... |
|00005d00| 5c 70 72 65 64 69 63 61 | 74 65 7b 65 6e 76 7d 7b |\predica|te{env}{|
|00005d10| 32 7d 7b 2b 45 6e 76 69 | 72 6f 6e 6d 65 6e 74 2c |2}{+Envi|ronment,|
|00005d20| 20 2d 48 54 4d 4c 7d 0a | 45 78 70 61 6e 64 20 61 | -HTML}.|Expand a|
|00005d30| 6e 20 65 6e 74 69 72 65 | 20 65 6e 76 69 72 6f 6e |n entire| environ|
|00005d40| 6d 65 6e 74 2c 20 69 2e | 65 2e 5c 20 66 72 6f 6d |ment, i.|e.\ from|
|00005d50| 20 5c 74 65 78 63 6d 64 | 7b 62 65 67 69 6e 7d 20 | \texcmd|{begin} |
|00005d60| 75 70 74 6f 20 61 6e 64 | 0a 69 6e 63 6c 75 64 69 |upto and|.includi|
|00005d70| 6e 67 20 74 68 65 20 6d | 61 74 63 68 69 6e 67 20 |ng the m|atching |
|00005d80| 5c 74 65 78 63 6d 64 7b | 65 6e 64 7d 20 63 6f 6d |\texcmd{|end} com|
|00005d90| 6d 61 6e 64 2e 20 20 5c | 61 72 67 7b 45 6e 76 69 |mand. \|arg{Envi|
|00005da0| 72 6f 6e 6d 65 6e 74 7d | 0a 69 73 20 61 20 74 65 |ronment}|.is a te|
|00005db0| 72 6d 20 6f 66 20 74 68 | 65 20 66 6f 72 6d 20 5c |rm of th|e form \|
|00005dc0| 74 65 72 6d 7b 3c 45 6e | 76 4e 61 6d 65 3e 7d 7b |term{<En|vName>}{|
|00005dd0| 5b 3c 43 6f 6d 6d 61 6e | 64 41 72 67 3e 2c 20 5c |[<Comman|dArg>, \|
|00005de0| 6c 64 6f 74 73 5d 2c 0a | 3c 54 6f 6b 65 6e 73 3e |ldots],.|<Tokens>|
|00005df0| 7d 2e 20 20 3c 43 6f 6d | 6d 61 6e 64 41 72 67 3e |}. <Com|mandArg>|
|00005e00| 20 64 65 73 63 72 69 62 | 65 73 20 74 68 65 20 65 | describ|es the e|
|00005e10| 6e 76 69 72 6f 6e 6d 65 | 6e 74 20 61 72 67 75 6d |nvironme|nt argum|
|00005e20| 65 6e 74 73 20 28 61 73 | 0a 74 68 65 20 63 6f 6c |ents (as|.the col|
|00005e30| 75 6d 6e 20 73 70 65 63 | 69 66 69 65 72 20 66 6f |umn spec|ifier fo|
|00005e40| 72 20 61 20 5c 74 65 78 | 65 6e 76 7b 74 61 62 75 |r a \tex|env{tabu|
|00005e50| 6c 61 72 7d 20 65 6e 76 | 69 72 6f 6e 6d 65 6e 74 |lar} env|ironment|
|00005e60| 29 2c 20 77 68 69 6c 65 | 0a 3c 54 6f 6b 65 6e 73 |), while|.<Tokens|
|00005e70| 3e 20 69 73 20 61 20 6c | 69 73 74 20 6f 66 20 4c |> is a l|ist of L|
|00005e80| 61 54 65 58 20 74 6f 6b | 65 6e 73 2c 20 64 65 73 |aTeX tok|ens, des|
|00005e90| 63 72 69 62 69 6e 67 20 | 74 68 65 20 63 6f 6e 74 |cribing |the cont|
|00005ea0| 65 6e 74 73 20 6f 66 20 | 74 68 65 0a 65 6e 76 69 |ents of |the.envi|
|00005eb0| 72 6f 6e 6d 65 6e 74 2e | 20 20 4e 6f 74 65 20 74 |ronment.| Note t|
|00005ec0| 68 61 74 20 5c 74 65 78 | 65 6e 76 7b 64 6f 63 75 |hat \tex|env{docu|
|00005ed0| 6d 65 6e 74 7d 20 69 73 | 20 61 6e 20 65 6e 76 69 |ment} is| an envi|
|00005ee0| 72 6f 6e 6d 65 6e 74 20 | 61 73 0a 77 65 6c 6c 2c |ronment |as.well,|
|00005ef0| 20 63 6f 6e 74 61 69 6e | 69 6e 67 20 74 68 65 20 | contain|ing the |
|00005f00| 65 6e 74 69 72 65 20 64 | 6f 63 75 6d 65 6e 74 2e |entire d|ocument.|
|00005f10| 20 20 52 65 64 65 66 69 | 6e 69 6e 67 20 74 68 65 | Redefi|ning the|
|00005f20| 20 64 6f 63 75 6d 65 6e | 74 0a 65 6e 76 69 72 6f | documen|t.enviro|
|00005f30| 6e 6d 65 6e 74 20 70 72 | 6f 76 69 64 65 73 20 74 |nment pr|ovides t|
|00005f40| 68 65 20 6f 70 70 6f 72 | 74 75 6e 69 74 79 20 66 |he oppor|tunity f|
|00005f50| 6f 72 20 70 72 65 2d 20 | 61 6e 64 20 70 6f 73 74 |or pre- |and post|
|00005f60| 2d 70 72 6f 63 65 73 73 | 69 6e 67 0a 6f 66 20 74 |-process|ing.of t|
|00005f70| 68 65 20 65 6e 74 69 72 | 65 20 64 6f 63 75 6d 65 |he entir|e docume|
|00005f80| 6e 74 2e 0a 0a 45 6e 76 | 69 72 6f 6e 6d 65 6e 74 |nt...Env|ironment|
|00005f90| 73 20 74 68 61 74 20 61 | 72 65 20 66 6c 61 67 67 |s that a|re flagg|
|00005fa0| 65 64 20 77 69 74 68 20 | 74 68 65 20 5c 63 6f 6e |ed with |the \con|
|00005fb0| 73 74 7b 6c 69 73 74 7d | 20 74 79 70 65 20 28 73 |st{list}| type (s|
|00005fc0| 65 65 0a 5c 73 65 63 72 | 65 66 7b 63 6d 64 73 70 |ee.\secr|ef{cmdsp|
|00005fd0| 65 63 7d 29 20 61 72 65 | 20 68 61 6e 64 6c 65 64 |ec}) are| handled|
|00005fe0| 20 62 79 20 61 20 64 65 | 66 61 75 6c 74 20 74 72 | by a de|fault tr|
|00005ff0| 61 6e 73 6c 61 74 6f 72 | 2e 20 53 65 65 0a 6c 69 |anslator|. See.li|
|00006000| 73 74 5f 63 6f 6d 6d 61 | 6e 64 2f 34 2e 0a 0a 20 |st_comma|nd/4... |
|00006010| 20 20 20 5c 70 72 65 64 | 69 63 61 74 65 7b 6c 69 | \pred|icate{li|
|00006020| 73 74 5f 63 6f 6d 6d 61 | 6e 64 7d 7b 34 7d 7b 2b |st_comma|nd}{4}{+|
|00006030| 4c 69 73 74 4e 61 6d 65 | 2c 20 2b 4d 6f 64 65 2c |ListName|, +Mode,|
|00006040| 20 2d 4f 70 65 6e 48 54 | 4d 4c 2c 20 2d 43 6c 6f | -OpenHT|ML, -Clo|
|00006050| 73 65 48 54 4d 4c 7d 0a | 49 66 20 65 6e 76 2f 32 |seHTML}.|If env/2|
|00006060| 20 74 72 61 70 73 20 61 | 6e 20 65 6e 76 69 72 6f | traps a|n enviro|
|00006070| 6e 6d 65 6e 74 20 6d 61 | 72 6b 65 64 20 61 73 20 |nment ma|rked as |
|00006080| 5c 63 6f 6e 73 74 7b 6c | 69 73 74 7d 2c 20 69 74 |\const{l|ist}, it|
|00006090| 20 77 69 6c 6c 20 62 72 | 65 61 6b 20 74 68 65 0a | will br|eak the.|
|000060a0| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 69 6e 74 6f |environm|ent into|
|000060b0| 20 69 74 65 6d 73 20 62 | 79 20 73 63 61 6e 6e 69 | items b|y scanni|
|000060c0| 6e 67 20 66 6f 72 20 63 | 6f 6d 6d 61 6e 64 73 20 |ng for c|ommands |
|000060d0| 66 6c 61 67 67 65 64 20 | 61 73 20 5c 63 6f 6e 73 |flagged |as \cons|
|000060e0| 74 7b 69 74 65 6d 7d 2c | 0a 6f 75 74 70 75 74 20 |t{item},|.output |
|000060f0| 74 68 65 20 5c 61 72 67 | 7b 4f 70 65 6e 48 54 4d |the \arg|{OpenHTM|
|00006100| 4c 7d 20 63 6f 64 65 2c | 20 70 72 6f 63 65 73 73 |L} code,| process|
|00006110| 20 74 68 65 20 69 74 65 | 6d 73 20 61 6e 64 20 61 | the ite|ms and a|
|00006120| 64 64 20 74 68 65 0a 5c | 61 72 67 7b 43 6c 6f 73 |dd the.\|arg{Clos|
|00006130| 65 48 54 4d 4c 7d 20 63 | 6f 64 65 2e 20 42 65 6c |eHTML} c|ode. Bel|
|00006140| 6f 77 20 69 73 20 74 68 | 65 20 64 65 66 61 75 6c |ow is th|e defaul|
|00006150| 74 20 64 65 66 69 6e 69 | 74 69 6f 6e 20 6f 66 20 |t defini|tion of |
|00006160| 74 68 69 73 20 70 72 65 | 64 69 63 61 74 65 2e 0a |this pre|dicate..|
|00006170| 4e 6f 74 65 20 74 68 61 | 74 2c 20 61 73 20 61 6c |Note tha|t, as al|
|00006180| 77 61 79 73 2c 20 74 68 | 65 20 48 54 4d 4c 20 6f |ways, th|e HTML o|
|00006190| 75 74 70 75 74 20 69 73 | 20 65 69 74 68 65 72 09 |utput is| either.|
|000061a0| 61 20 73 69 6d 70 6c 65 | 20 48 54 4d 4c 20 74 6f |a simple| HTML to|
|000061b0| 6b 65 6e 2c 0a 61 6e 20 | 48 54 4d 4c 20 6d 61 63 |ken,.an |HTML mac|
|000061c0| 72 6f 2c 20 6f 72 20 61 | 20 28 6e 65 73 74 65 64 |ro, or a| (nested|
|000061d0| 29 20 6c 69 73 74 20 6f | 66 20 74 68 65 73 65 2e |) list o|f these.|
|000061e0| 0a 0a 5c 62 65 67 69 6e | 7b 63 6f 64 65 7d 0a 6c |..\begin|{code}.l|
|000061f0| 69 73 74 5f 63 6f 6d 6d | 61 6e 64 28 64 65 73 63 |ist_comm|and(desc|
|00006200| 72 69 70 74 69 6f 6e 2c | 20 20 20 20 20 5f 2c 20 |ription,| _, |
|00006210| 68 74 6d 6c 28 27 3c 44 | 4c 3e 27 29 2c 20 68 74 |html('<D|L>'), ht|
|00006220| 6d 6c 28 27 3c 2f 44 4c | 3e 27 29 29 2e 0a 6c 69 |ml('</DL|>'))..li|
|00006230| 73 74 5f 63 6f 6d 6d 61 | 6e 64 28 69 74 65 6d 69 |st_comma|nd(itemi|
|00006240| 7a 65 2c 20 20 20 20 20 | 20 20 20 20 5f 2c 20 68 |ze, | _, h|
|00006250| 74 6d 6c 28 27 3c 55 4c | 3e 27 29 2c 20 68 74 6d |tml('<UL|>'), htm|
|00006260| 6c 28 27 3c 2f 55 4c 3e | 27 29 29 2e 0a 6c 69 73 |l('</UL>|'))..lis|
|00006270| 74 5f 63 6f 6d 6d 61 6e | 64 28 65 6e 75 6d 65 72 |t_comman|d(enumer|
|00006280| 61 74 65 2c 20 20 20 20 | 20 20 20 5f 2c 20 68 74 |ate, | _, ht|
|00006290| 6d 6c 28 27 3c 4f 4c 3e | 27 29 2c 20 68 74 6d 6c |ml('<OL>|'), html|
|000062a0| 28 27 3c 2f 4f 4c 3e 27 | 29 29 2e 0a 6c 69 73 74 |('</OL>'|))..list|
|000062b0| 5f 63 6f 6d 6d 61 6e 64 | 28 74 68 65 62 69 62 6c |_command|(thebibl|
|000062c0| 69 6f 67 72 61 70 68 79 | 2c 20 5f 2c 20 68 74 6d |iography|, _, htm|
|000062d0| 6c 28 27 3c 44 4c 3e 27 | 29 2c 20 68 74 6d 6c 28 |l('<DL>'|), html(|
|000062e0| 27 3c 2f 44 4c 3e 27 29 | 29 2e 0a 5c 65 6e 64 7b |'</DL>')|)..\end{|
|000062f0| 63 6f 64 65 7d 0a 0a 20 | 20 20 20 5c 70 72 65 64 |code}.. | \pred|
|00006300| 69 63 61 74 65 7b 23 7d | 7b 32 7d 7b 2b 4d 61 63 |icate{#}|{2}{+Mac|
|00006310| 72 6f 2c 20 2d 45 78 70 | 61 6e 73 69 6f 6e 7d 0a |ro, -Exp|ansion}.|
|00006320| 54 68 69 73 20 70 72 65 | 64 69 63 61 74 65 20 64 |This pre|dicate d|
|00006330| 65 66 69 6e 65 73 20 74 | 68 65 20 6d 61 63 72 6f |efines t|he macro|
|00006340| 2d 65 78 70 61 6e 64 65 | 72 20 61 73 20 69 6e 76 |-expande|r as inv|
|00006350| 6f 6b 65 64 20 74 68 72 | 6f 75 67 68 0a 74 68 65 |oked thr|ough.the|
|00006360| 20 6d 61 63 72 6f 5f 65 | 78 70 61 6e 64 2f 32 20 | macro_e|xpand/2 |
|00006370| 63 6f 6d 6d 61 6e 64 2e | 20 20 5c 61 72 67 7b 4d |command.| \arg{M|
|00006380| 61 63 72 6f 7d 20 69 73 | 20 61 6e 20 61 72 62 69 |acro} is| an arbi|
|00006390| 74 72 61 72 79 20 50 72 | 6f 6c 6f 67 0a 74 65 72 |trary Pr|olog.ter|
|000063a0| 6d 2c 20 70 6f 73 73 69 | 62 6c 79 20 63 6f 6e 74 |m, possi|bly cont|
|000063b0| 61 69 6e 69 6e 67 20 76 | 61 72 69 61 62 6c 65 73 |aining v|ariables|
|000063c0| 20 74 6f 20 61 63 74 20 | 61 73 20 6d 61 63 72 6f | to act |as macro|
|000063d0| 20 61 72 67 75 6d 65 6e | 74 73 2c 0a 5c 61 72 67 | argumen|ts,.\arg|
|000063e0| 7b 45 78 70 61 6e 73 69 | 6f 6e 7d 20 69 73 20 74 |{Expansi|on} is t|
|000063f0| 68 65 20 65 78 70 61 6e | 73 69 6f 6e 2e 20 20 54 |he expan|sion. T|
+--------+-------------------------+-------------------------+--------+--------+
Only 25.0 KB of data is shown above.
